
Пользуюсь Ubuntu всего пару недель.
Количество неиспользуемого пространства в верхней части некоторых окон почти комично, но я понимаю, что это в основном заслуга разработчиков. Например, Chrome и Microsoft Teams отлично используют пространство. Firefox и Visual Studio Code... уф.
Пытаясь решить эту проблему, я наткнулся на ответ здесь, предлагающий gnome-shell-extension-pixelsaver
. Работало отлично несколько дней. А потом просто перестало работать вчера. Я пробовал sudo apt purge gnome-shell-extension-pixelsaver
и потом переустанавливал. Перезапускал и т. д. Не помогает.
Я тоже попробовалno-title-bar
и также убедился, x11-utils
что был установлен. Тоже ничего не делает.
Я не вносил никаких изменений в систему, поэтому мне непонятно, почему она просто перестала работать.
Есть ли какие-нибудь предложения, как решить эту проблему?
ИЗМЕНИТЬ - 27.03.20
В итоге я решил переформатировать его по нескольким причинам, и это одна из них.
Использовал это расширение при чистом переформатировании:
https://github.com/pixel-saver/pixel-saver
Опять... работает несколько дней и перестает работать. Переустановка ничего не даёт.
решение1
получить редактор dconf и перейти в org->gnome->terminal->legacy->headerbar установить в false. Затем вы можете использовать расширение unite, чтобы, например, убрать заголовки при тайлинге, когда терминал заполняет весь экран.
Но но но у меня возникли некоторые глюки с тенями за терминалом при выполнении этого. Может быть, у вас их не будет. На данный момент других исправлений нет.