Ubuntu 19.10... PixelSaver работал, но теперь нет; переустановка не работает

Ubuntu 19.10... PixelSaver работал, но теперь нет; переустановка не работает

Пользуюсь 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, чтобы, например, убрать заголовки при тайлинге, когда терминал заполняет весь экран.

Но но но у меня возникли некоторые глюки с тенями за терминалом при выполнении этого. Может быть, у вас их не будет. На данный момент других исправлений нет.

Связанный контент