I am on Ubuntu 12.04 and installed gnome-shell, but I found the top bar is larger than it normally is, how can I change its size?
GNOME Shell – How to Resize GNOME Shell Top Bar
gnome-shellUbuntu
gnome-shellUbuntu
I am on Ubuntu 12.04 and installed gnome-shell, but I found the top bar is larger than it normally is, how can I change its size?
Best Answer
[Windows] key + [Alt]
"Right-click
" the barIn the "General Tab", simply resize the bar.