I thought I hated the minimap, but it turns out it was just too … large. The same signals I get from it can be compressed into the width of the scrollbar, and I

I thought I hated the minimap, but it turns out it was just too … large. The same signals I get from it can be compressed into the width of the scrollbar, and I find them incredibly useful. Navigating problems is either very mouse-heavy in a very mouse target dense area, or requires learning more non-standard keyboard shortcuts/chords, or just “click near the part of the scrollbar where the colors look wrong”. And it takes no additional screen real estate at all. (Which I’m not trying to conserve for pixel density, I run a comically large screen daily; but I try to keep things smaller to stay focused)