Adding a margin around the desktop containment

Marco Martin notmart at gmail.com
Wed Apr 1 21:23:47 CEST 2009


On Wed, Apr 1, 2009 at 1:56 PM, Thomas Schildknecht
<danakil.kde at gmail.com> wrote:
> 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 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.
hmm, what it woiuld have more than simply a panel not 100% wide?

> 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) ?
 KWindowSystem::setExtendedStrut()
i'm not too sure containment is the right place to go but yeah, quite easy
>
> _______________________________________________
> Plasma-devel mailing list
> Plasma-devel at kde.org
> https://mail.kde.org/mailman/listinfo/plasma-devel
>
>


More information about the Plasma-devel mailing list