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