The minimap works and is great, but there's a few things we can do to improve the experience and polish of using the minimap and its impact on the UX in the app:
The minimap should collapse on smaller screens correctly, such that it never overlaps the open definitions
The minimap collapsibility needs to be more discoverable; maybe just a small caret icon-it would be nice if this could be a keyboard shortcut like we have with the sidebar.
When a user has taken an action to collapse the minimap deliberately we should store that in localStorage such that everywhere in the app, that setting is reflected until the expand it again
The minimap should support "go to definition" jump keys. g2 goes to the second in the list and so on up till 9 (then no jump support).
The minimap should support scrolling to never get larger than the viewport.
The minimap works and is great, but there's a few things we can do to improve the experience and polish of using the minimap and its impact on the UX in the app: