3 ms·
I've been benefiting from additional screen space for various years. There's no specification to do this within the window manager. Even if there is, you need t
by bkor 11y ago
I've been benefiting from additional screen space for various years. There's no specification to do this within the window manager. Even if there is, you need to think of Wayland as well.
Ideally it would be nice to enhance all window managers and somehow make this possible in a different way. You'd still have practical problems in that the theme of the window manager won't align with your toolkit though.
But I prefer actual progress instead of the theoretical ideal solution that's way more work and involves co-operation with everyone.
- DonHopkins 11y ago>But I prefer actual progress instead of the theoretical ideal solution that's way more work and involves co-operation with everyone. Oh for the good old days when window management was so simple and straightforward, that all you had to do was memorize and follow every nuance and implication and extension of the ICCCM, before testing against every other application under all possible window managers in every platform environment with each possible hardware variation.
- jstimpfle 11y ago> Ideally it would be nice to enhance all window managers and somehow make this possible in a different way. You'd still have practical problems in that the theme of the window manager won't align with your toolkit though. > But I prefer actual progress instead of the theoretical ideal solution that's way more work and involves co-operation with everyone. You know what? Let's start by not making these silly thick titlebars, and not making these silly assumptions that everyone uses the library / framework of the day. Because these are actually idealistic and will never work out in practice. GTK hasn't learned from the Windows 95 style GUIs (don't know any names) which never had any space problems in the first place. But I think it has a lot to do with portability to netbooks / tablets / smartphones in that they drove this development (look at Windows 8).
- okasaki 11y agoThere are plenty of window managers that don't draw title bars (or anything) I use one that merges the title bar and the task bar! Like so https://i.imgur.com/Zb5BoMf.png https://i.imgur.com/Zb5BoMf.png > Even if there is, you need to think of Wayland as well. I prefer not to.