issues
search
micro-editor
/
plugin-channel
Official plugin channel for micro
226
stars
49
forks
source link
Add jump plugin
#66
Closed
terokarvinen
closed
3 years ago
terokarvinen
commented
3 years ago
Jump plugin allows jumping to functions and other symbols.
Jump plugin allows jumping to functions and other symbols.