I&#x27;ve been benefiting from additional screen space for various years. There&#x27;s no specification to do this within the window manager. Even if there is, you need to think of Wayland as well.<p>Ideally it would be nice to enhance all window managers and somehow make this possible in a different way. You&#x27;d still have practical problems in that the theme of the window manager won&#x27;t align with your toolkit though.<p>But I prefer actual progress instead of the theoretical ideal solution that&#x27;s way more work and involves co-operation with everyone.