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