141 reputation
3
bio website
location
age
visits member for 4 years
seen Dec 21 at 17:57

Dec
6
comment How to hide bottom panel in GNOME?
"...there is an option for Autohide but hide totally not." Imho and afaik this refers to the 6 pixels which remain to be displayed (in older versions of Gnome) even if the panel is auto-hidden.
Dec
6
comment How to hide bottom panel in GNOME?
He is not looking for the hide button, but how to reduce the size of a auto-hidden panel.