Исправление targitaj, 11.03.20 19:00 (текущая версия) :
Да-да, gnome3 - это 20% вертикали на пустые панели сразу по факту открытия окна со вкладкой. Они там головой болеют.
Исходная версия targitaj, 11.03.20 18:59:
Да-да, gnome3 - это 20% вертикали на пустые панели сразу по факту открытия окна со вкладкой.