You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
I suppose you hard-coded the panel height into the theme? If so, please try again with master. It shouldn't be a problem with panel heights configurable with gsettings.
Self-explanatory screenshots of 32px panel -
... autohide checked: http://i.imgur.com/ByOc7.jpg
... unchecked: http://i.imgur.com/BETFc.jpg
So it seems the autohide function doesn't take the actual height of the panel into consideration but just hides 25px worth of panel?
The text was updated successfully, but these errors were encountered: