On 2018-05-31 03:30:08 Dr. Nikolaus Klepp wrote: > Am Donnerstag, 31. Mai 2018 schrieb Alexandre Couture: > > I don't see any real benefit in adding that space, I find it uglier also. > > > > Just my opinion. Have a great day! > > -Alexandre > > I had that space ages ago, but I did not like it, either. Anyway, if the > space can be disabled or if there's a theme/style/whatever to > enable/disable the space, it's ok. > > Nik This is why KDE generally makes such things configurable; some like this feature, others don't. Being able to set it as one prefers is the sort of thing that makes KDE superior to e.g. Gnome. Leslie --------------------------------------------------------------------- To unsubscribe, e-mail: trinity-users-unsubscribe@xxxxxxxxxxxxxxxxxxxxxxxxxx For additional commands, e-mail: trinity-users-help@xxxxxxxxxxxxxxxxxxxxxxxxxx Read list messages on the web archive: http://trinity-users.pearsoncomputing.net/ Please remember not to top-post: http://trinity.pearsoncomputing.net/mailing_lists/#top-posting
