Overview map: auto-hide, auto-scale, or overlay feature
This probably doesn't concern multi-monitor setups.
I think there should at least be a setting to auto-hide the map if the window is not maximized. Currently, when there are two separate windows of g-t-e split vertically (i.e. tiled to the left and the right), the overview map takes up too much screen estate to my liking. Attaching two screenshots from Ubuntu 22.04 with the dock both set and unset to auto-hide:
It's a 1366x768 display, so you can imagine how much worse it actually is. Something akin overlay_scrollbar would be optimal, though I'm eager to know what others think.
Ideally, two preferences: 1) whether overview is displayed; and it's sub-setting 2) whether it is always displayed. If only the first selected, it should auto-hide or overlay when window is not maximized or split. If both are selected, it auto-scales depending on window dimensions.
Thanks.