Я только что обновился до Ubuntu 17.10 и у меня возникли проблемы с разворачиванием окна терминала влево/вправо. Когда я разворачиваю окно терминала в сторону экрана, оно не занимает всю высоту экрана и как бы обрезается снизу:
Когда я открываю новую вкладку в терминале, высота окна выходит за пределы высоты экрана:
Этого не происходит при полном разворачивании окна или при работе с другими приложениями.
Вторая проблема делает невозможным использование терминала с несколькими вкладками при расширении влево/вправо. Как это исправить?
решение1
Первый не обязательно является ошибкой. Терминальные приложения обычно просят оконный менеджер соблюдать определенные критерии размера (кратные размеру ячейки). В этом случае GNOME Shellсоблюдает этот запрос. (Хотя это действительно непоследовательно, что при полном разворачивании подсказки геометрии больше не соблюдаются, и "пробел" будет принадлежать GNOME Terminal.)
Второе похоже на ошибку, вам следует отправить ее в GNOME Shell.
В качестве обходного пути GNOME Terminalесть скрытый параметр конфигурации, позволяющий отображать панель вкладок, даже если присутствует только одна вкладка. Вы можете активировать его с помощью
dconf write /org/gnome/terminal/legacy/tab-policy '"always"'
(и вернитесь с помощью '"automatic"'или dconf reset ...).
ОБНОВЛЯТЬ:
gnome-terminalтолько что получил исправление/обходное решение (не уверен, как это назвать) для второй проблемы (отчет об ошибке,совершить). Он появится в будущей версии 3.28, имощьтакже сделайте обратный порт на 3.26.x.
ОБНОВЛЕНИЕ2:
GTK+версия 3.22.25 исправляет обе эти проблемы (отчет об ошибке,совершить 1,совершить 2,совершить 3– Ядуматьздесь действительно важен первый коммит).