Ok, I've just realized that I mixed up "fullscreen" and "maximized" windows. So, what I really would like to obtain while developing the dash-to-dock extension is :
1. Normal windows are not placed on the area occupied by the dock; now newly created windows are almost always placed on the top left corner when there is no other free space on the screen (obtained with AffectsStruts: true). 2. Maximized windows mustn't be affected at all: they continue to use all screen space (obtained with AffectsStruts: false). 3. Edge resistance when moving windows on the dock margins (obtained with AffectsStruts: true). Until now my best result resembling the above behaviour has been obtained by manually adding and removing an additional affectsStruts:true actor to the chrome. This is arguably inelegant; it also causes some problems, for instance when maximizing or making a window fill half-screen by dragging it. Any change to achieve the above results? _______________________________________________ gnome-shell-list mailing list gnome-shell-list@gnome.org https://mail.gnome.org/mailman/listinfo/gnome-shell-list
