31 May
2018
31 May
'18
6:16 p.m.
On 2018-05-31 03:30:08 Dr. Nikolaus Klepp wrote:
Am Donnerstag, 31. Mai 2018 schrieb Alexandre
Couture:
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
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