On Wednesday 23 of May 2018 00:25:24 wofgdkncxojef@... wrote:
> On Tuesday 22 May 2018 23:11:51 deloptes wrote:
> > wofgdkncxojef@... wrote:
> > > If the devs feel, enough people approve of it on the mailing list,
> > > they will do it. So make sure to share your opinion.
> >
> > I doubt anybody has time to work on it, but you can just open a bug
> > with the request and it will be handled.
> >
> > regards
>
> Users can already do this. This simply changes the default config.
>
> i already did. They are worried users will start complaining.
>

In truth - I'm now testing it on myself. I leave aside that it looks 
strange in design - originally the icons were nicely compact, now there 
is a "hole". Note that I use minimalist window titles - style B II. For 
now, every time I go to the icons, I'm surprised - the change, though 
small, disturbs me. We'll see how it will be after a few days. At the 
same time, I must admit that sometimes I accidentally closed the window 
instead of maximizing, so the small gap seems to be a good idea.

I leave the time for testing and we'll see what the decision will be. We 
look forward to the opinions of other users.

Cheers
-- 
Slávek