[Konsole-devel] [konsole] [Bug 346450] Remove 1px margin [patch included]

[Josef Kufner via KDE Bugzilla]

https://bugs.kde.org/show_bug.cgi?id=346450

--- 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
centering.

Defaults are same as original hardwired valuse, but now it is possible
to change them via editing profile file:

    [General]
    TerminalMargin=1
    TerminalCenter=false

There is no user interface to change these values for now.

-- 
You are receiving this mail because:
You are the assignee for the bug.