https://bugs.kde.org/show_bug.cgi?id=492989
Niccolò Venerandi <nicc...@venerandi.com> changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|REPORTED |RESOLVED
CC| |nicc...@venerandi.com
Resolution|--- |INTENTIONAL
--- Comment #1 from Niccolò Venerandi <nicc...@venerandi.com> ---
Hi! This goes beyond the scope of the margin separator, which is exclusively
meant for, well, managing margin areas. The margin separator, when not in edit
mode, does not take any space; you should instead use a third party (visible)
separator widget for this, as it should be able to make them arbitrarily small
so that they don't take extra spacing.
--
You are receiving this mail because:
You are watching all bug changes.
