You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
better choose the initially selected symbol: Instead of choosing the nearest symbol, typically prefer the symbol right above the current position.
tune fuzzy matcher: The original matcher was written to choose from a set of simple tokens. Here, in our context, we need to match against full lines which obviously contain whitespace and punctuation. Try to move the algorithm in that (unusual) direction.
add simple double-click binding which acts like pressing enter while on the clicked line.