On Wednesday 03 October 2012 14:12:38 Marco Martin wrote: > On Wednesday 03 October 2012, Martin Gräßlin wrote: > > > would you make it default? (i'm a bit more hesitant on this) in that > > > case > > > it should disable automatically if the user puts a panel on top.. > > > > maybe introduce in 4.10, gather feedback and turn it to default in 4.11 if > > everything is fine? > > yeah, may be an idea. > btw would it be possible to set up some communication to say that a screen > edge is reserved so that if a panel is placed up there the hot edge gets > disabled? what about a hint called _KDE_NET_WM_RESERVE_SCREENEDGE? That could be set on the panel and KWin ensures that in the area of the window the screen edge does not get triggered (except corners).
signature.asc
Description: This is a digitally signed message part.
_______________________________________________ Plasma-devel mailing list Plasma-devel@kde.org https://mail.kde.org/mailman/listinfo/plasma-devel
