Не могу найти эту опцию в gnome-tweak-tool. Нужно ли устанавливать какое-либо расширение?
Мне нужно что-то вроде этого:
решение1
в последней версии Gnome должно быть это исправление, согласноhttp://kojevnikov.com/vertical-panel-in-gnome.html
ИЛИ
в качестве альтернативы используйте XFCE 4.10 и выше