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
Yup, I made an attempt to implement symbols in the minimap, but the performance was poor and in the meantime the API of the minimap changed and broke it so I never pushed anything. I had in my todo to implement a new kind of decorations in the minimap to enable adding labels above a line (and allowing to display symbols in the minimap), but I still haven't found the time to tackle it.
An empty repo?
The text was updated successfully, but these errors were encountered: