[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
  --> https://bugs.kde.org/attachment.cgi?id=95741&action=edit
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 mailing list