On Tuesday July 04 2017 18:02:13 Hugo Pereira Da Costa wrote:

> One should really consult with vdg here, since all these points (larger 
> fonts, padding, no frame), was already discussed with them, and agreed 
> upon, back in the days.

As far as the official 1 or 2 KDE styles are concerned, I presume (hope).

R.

Reply via email to