>> 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 <alediafe...@gmail.com> wrote: > 2009/4/1 Thomas Schildknecht <danakil....@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@kde.org >> https://mail.kde.org/mailman/listinfo/plasma-devel >> >> > > > -- > Alessandro Diaferia > KDE Developer > _______________________________________________ Plasma-devel mailing list Plasma-devel@kde.org https://mail.kde.org/mailman/listinfo/plasma-devel