THIS IS AN AUTOMATED MESSAGE, DO NOT REPLY. The following task has a new comment added:
FS#521 - Awesome prevents Gnome panel from autohiding User who did this - Maarten Maathuis (madman2003) ---------- I don't have access to my development machine, so i can't do anything but explain the situation. Imagine having 2 docks, they don't know each other, so they will overlap, which is obviously undesirable. Eventually the EWMH (http://standards.freedesktop.org/wm-spec/wm-spec-latest.html) should be fixed to enforce something sensible everywhere. Look at http://standards.freedesktop.org/wm-spec/wm-spec-latest.html#id2552069, for the mechanism which is used to request space at the edge of the screen. So the "solution" was for awesome to control the placement. This allowed users to stack many docks. These days you can dock whatever you want, mainly because you want some floats that don't interfere with the tiled windows. I forgot about docks that try to hide themselves, this is problematic in the sense that if there is more than one dock'ish window this will fail horribly anyway. A "solution" would be to detect windows that have struts smaller than their width, height, and use that hint to place them. But in my view hiding docks are odd in the context of a window manager such as awesome. But you (or someone else) is more than welcome to fix it, as i said, i can't. ---------- More information can be found at the following URL: http://awesome.naquadah.org/bugs/index.php?do=details&task_id=521#comment1239 You are receiving this message because you have requested it from the Flyspray bugtracking system. If you did not expect this message or don't want to receive mails in future, you can change your notification settings at the URL shown above. -- To unsubscribe, send mail to [email protected].
