141 reputation
3
bio website
location
age
visits member for 4 years
seen 7 hours ago

Dec
20
awarded  Critic
Jan
5
awarded  Supporter
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.
Dec
6
awarded  Teacher
Dec
6
answered How to hide bottom panel in GNOME?