[Konsole-devel] [konsole] [Bug 346450] Remove 1px margin [patch included]
Josef Kufner via KDE Bugzilla
bugzilla_noreply at kde.org
Wed Nov 25 18:23:40 UTC 2015
--- Comment #3 from Josef Kufner <jk at frozen-doe.net> ---
Created attachment 95741
Add profile option to set margin and centering instead of hardwired values
This patch add profile options to set margin in pixels and enable/disable
Defaults are same as original hardwired valuse, but now it is possible
to change them via editing profile file:
There is no user interface to change these values for now.
You are receiving this mail because:
You are the assignee for the bug.
More information about the konsole-devel