https://bugs.kde.org/show_bug.cgi?id=451728
--- Comment #4 from Christoph Cullmann <cullm...@kde.org> --- Sure one can call it, but we will not just change that back and forth. We use similar margins since some time for the buttons at the top in the central area and toolviews and that works well. Naturally one can perhaps improve the whole toolview buttons/borders areas, but then somebody must step up to do this in a consistent way. -- You are receiving this mail because: You are watching all bug changes.
