Adding a margin around the desktop containment

[Thomas Schildknecht]

>> Well, rather than writing a new containment you can just provide a patch for the existing one that allows the user whether to set margins or not..

it's a very specific feature so I don't think many people will be interested :)

anyways, I quickly added some struts to the desktop; it basically
works but there is a problem : when a popup menu like Kickoff, the
menu from grouped tasks in the taskbar or the panel toolbar is showed,
it respect the struts and is not attached to the panel anymore...

so it don't look like an easily solvable problem (for me at least)

oh, and the window decoration is not painted when maximized so it's
not very cool to have a borderless window in the middle of the
screen...



On 4/1/09, Alessandro Diaferia <alediaferia at gmail.com> wrote:
> 2009/4/1 Thomas Schildknecht <danakil.kde at gmail.com>
>
>> Hello :)
>>
>> I'm planning to make a desktop containment with a feature that I've seen
>> in
>> XFCE (well, I think) : adding a "margin" at the edges of
>
>
> Well, rather than writing a new containment you can just provide a patch for
> the existing one that allows the user whether to set margins or not..
>
> But those are just my 2 cents :)
>
> Good luck with it ;-)
>
>
>> the screen so that windows can't cover this area. I think it's useful
>> because with a big margin at the bottom, I can put a floating macOsX-like
>> dock or some other widgets. Moreover, when someone use a very high
>> resolution for his display, maximizing windows is not very usefull because
>> the maximized window is really too big (and it just looks better with a
>> margin around the window :) ). Finally, I'm a big fan of the "switch
>> desktop
>> with scrollwheel" and with this feature, I can always have some visible
>> area
>> of the desktop.
>>
>> I'm not very familiar with the internals of Plasma, so before I start
>> digging into the code, can someone tell me if this is feasible with a
>> desktop containment (for example, cloning the default desktop and adding
>> this feature) ?
>>
>> _______________________________________________
>> Plasma-devel mailing list
>> Plasma-devel at kde.org
>> https://mail.kde.org/mailman/listinfo/plasma-devel
>>
>>
>
>
> --
> Alessandro Diaferia
> KDE Developer
>