Allow hiding window previews in Pager
This MR adds the option to hide window previews in the Pager entirely, which reduces its size on horizontal panels on widescreen displays significantly, as requested in Bug 392484.
This is done by replacing the "Show only current screen" option with a radio button that adds another option: no outlines at all.
I opted to make the buttons square when previews are off, I'm not sure that's the best option (maybe they could be wider if there is text, or narrower if the panel is high? although 1:1 looks reasonable on my setup)
Also, I set the default to Current screen, while the old defaults for showOnlyCurrentScreen would correspond to All screens. In my opinion, current screen is a more natural default (because otherwise the buttons would be huge on a multimonitor desktop, or suddenly change in size when you attach an external display to a laptop). If we want to keep this to the current default instead that is of course an easy fix.
As I'm a fairly new contributor: is there anything that needs to be done for l10n messages? Or will some periodical script send it to the translation teams automatically?
Replace showOnlyCurrentScreen option with enum displayedPreviews:
- None
- Current screen
- All screens
Current and all screens behave as previously, and None disables previews. The buttons get a fixed 1:1 aspect ratio when previews are off. showWindowIcons is disabled when previews are off.
BUG: 392484 FIXED-IN: 6.0