GNOME Shell – How to Resize GNOME Shell Top Bar

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

  1. Hold both "[Windows] key + [Alt]"
  2. "Right-click" the bar
  3. Click "Properties".

In the "General Tab", simply resize the bar.

Related Question