Sign up
View stargazers0Sign up

Merge pull request #1213 from zed-industries/hover-dismiss-fix

hide hover on editor blur
e88f115467Keith Simmons committed on 6/21/2022, 5:47:52 PM· committed by GitHubparents69bd6bffb881b2
1 file changedLine totals unavailable