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
Blink.cmp seems really cool, so I've decided to create blink-cmp-agda-symbols to unify agda input for neovim.
When writing agda we use a lot of non-alphanumeric symbols. Every completion is of the form \<foo> where <foo> is anything from ~= to a single space character. For a full list, see my collection here
This works for strings which start with a single non-alphanumeric character and then alphanumeric.
I'm still having issues dealing with this with strings like \~~~ which—even if they match exactly—only get the final character replaced. I'm also having issues with \ which isn't matched at all; even if I add " " to get_trigger_chars.
Is there any way to figure out where the beginning of a fuzzy match lies? If \~~~ matches my fuzzy text exactly, it shouldn't be too hard to replace using it.
reacted with thumbs up emoji reacted with thumbs down emoji reacted with laugh emoji reacted with hooray emoji reacted with confused emoji reacted with heart emoji reacted with rocket emoji reacted with eyes emoji
Uh oh!
There was an error while loading. Please reload this page.
Uh oh!
There was an error while loading. Please reload this page.
-
Blink.cmp seems really cool, so I've decided to create blink-cmp-agda-symbols to unify agda input for neovim.
When writing agda we use a lot of non-alphanumeric symbols. Every completion is of the form
\<foo>
where<foo>
is anything from~=
to a single space character. For a full list, see my collection hereThe source boilerplate indicates needs special handling, so I've borrowed some code from blink-emoji.nvim for the bare minimum on how to handle this. For the implementation see: https://github.com/4e554c4c/blink-cmp-agda-symbols/blob/main/lua/blink-agda-symbols/init.lua#L118-L127
This works for strings which start with a single non-alphanumeric character and then alphanumeric.
I'm still having issues dealing with this with strings like
\~~~
which—even if they match exactly—only get the final character replaced. I'm also having issues with\
which isn't matched at all; even if I add" "
toget_trigger_chars
.Is there any way to figure out where the beginning of a fuzzy match lies? If
\~~~
matches my fuzzy text exactly, it shouldn't be too hard to replace using it.Beta Was this translation helpful? Give feedback.
All reactions