Adding a margin around the desktop containment

[Alessandro Diaferia]

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
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://mail.kde.org/pipermail/plasma-devel/attachments/20090401/9564c83e/attachment.htm