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 - Johan Kiviniemi (ion)

----------
Your point about hiding docks is valid. Why I wanted the dock hidden was to 
preserve the precious vertical screen space. By simply making the dock vertical 
(non-autohide), I’m not wasting vertical space at all.

Nevertheless, someone else might *really* want a hidden dock.
----------

More information can be found at the following URL:
http://awesome.naquadah.org/bugs/index.php?do=details&task_id=521#comment1241

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].

Reply via email to