[Konsole-devel] [Bug 157015] Missing corner widgets (new shell. close tab)

[Robert Knight]

------- You are receiving this mail because: -------
You are the assignee for the bug, or are watching the assignee.
         
http://bugs.kde.org/show_bug.cgi?id=157015         




------- Additional Comments From robertknight gmail com  2008-02-08 21:15 -------
> That is not good... You edit the position in a profile config, but it
> affects all profiles?

One thing which is not made clear in the current user interface is that profiles inherit from other profiles - so supposing you have:

- One default profile
- Four profiles for various different tasks which were created from the default and only differ in their color scheme

Then any properties changed in the default profile other than the color scheme will also apply to the other profiles.  If you changed the font size of the default profile from 10 to 12 and then opened a new tab with one of the other schemes, it would have a font size of 12.