SUMMARY On a session with many documents, mini-map is an annoyance because it consumes space. When I disable scrollbar mini-map and save a session, it does not persist when I load session again. STEPS TO REPRODUCE 1. On a multi document disable mini-map on all scroll bar borders. 2. Save a session. 3. Load a session. OBSERVED RESULT Observe mini-maps to be opened again on a load session. EXPECTED RESULT I expect mini-maps to be disabled. SOFTWARE/OS VERSIONS Windows: Windows 11
We don't save that state in the session, just globally. Not sure if we should add it there.