On Sat, Dec 31, 2016 at 01:07:59AM +0000, Thomas Adam wrote: > On Fri, Dec 30, 2016 at 11:20:59PM +0100, Dominik Vogt wrote: > > > EWMHBaseSTruts is not a Style, > > > > What? Should have paid more attention when this stuff was > > written. Got to fix this some time. > > Curious. Why? What benefit would it have to be a style?
Flexibility, as always. > If it's about > applying size limits to certain windows, we already have a number of different > ways to specify that. Everything that affects windows affects either a window's state or it's style. We've spent a lot of time to eradicate global window settings; the EwmhBaseStruts command is an anachronism, imposing artificial limitations on windows when it could be expressed as Style * EwmhBaseStruts a b c d as well. > Making it per-screen is a better idea (I've a patch for that in an older CVS > tree, probably on Github). That doesn't rule out making it a style. > EWMHBaseStruts is about screen edges, not windows. It's about areas where windows are not to be placed, so it's clearly about windows. > Don't go perturbing this option. It should be deprecated and made a style instead (or possibly a collection of styles), like everything else related to windows. Ciao Dominik ^_^ ^_^ -- Dominik Vogt
