De : Slįvek Banko <slavek.banko@...>
Envoyé : 30 mai 2018 14:17
Ą : trinity-users@...
Objet : Re: [trinity-users] Re: [tiny new feature proposal] by default space between "close window" and "restore/maximize"
On Wednesday 23 of May 2018 02:08:37 Slįvek Banko wrote:
> 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

It's been a week that I test on myself the proposed addition of a gap
before the button to close window. Although I am constantly surprised by
the presence of this gap, I must say that all the time I did not
accidentally close any window.

Is there anyone else who has tried this?


To unsubscribe, e-mail: trinity-users-unsubscribe@...
For additional commands, e-mail: trinity-users-help@...
Read list messages on the web archive:
Please remember not to top-post:


I don't see any real benefit in adding that space, I find it uglier also.

Just my opinion. Have a great day!