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:
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