Draft: Change pager layout when window previews are disabled
Building on !2427 (merged) (@muesli), this changes the layout when there are no window previews on the pager.
Previewless pagers are not constrained by the screen form factor for their size, giving the following benefits:
- Unusual monitor layouts behave better (e.g. multiple or ultrawide monitors)
- If only desktop numbers are shown, the buttons can be much more compact
- If names are shown, the size can be adaptive and guaranteed to show the entire name (at least on horizontal panels).
I believe the second of these was the main intent of https://bugs.kde.org/show_bug.cgi?id=392484 as this issue was about saving space.
Currently there are still a few issues:
- crucially, when changing the panel from vertical to horizontal or vice versa, the pager layout breaks. This is likely due to some QML anchor magic that I have no idea how to debug.
- I believe it may be related to layout-within-layout, but using a regular Grid seems to make it impossible to 'fill' each cell?
- Maybe the layout should be changed slightly for "no outlines and no text", e.g. by making each item square.
This also replaces !1594 (closed).