Неправильная терминальная высота, слева/справа максимизируя в Ubuntu 17.10

Я просто обновил до Ubuntu 17.10, и я испытываю затруднения из-за слева/справа максимизации окна терминала. Когда я максимизирую окно терминала стороне экрана, это не использует полноэкранную высоту и является видом отключенных в нижней части:

Incorrectly scaled terminal

Когда я открываю новую вкладку в терминале, высота окна расширяется вне экранной высоты:

Incorrectly scaled terminal #2

Это не происходит при максимизации окна полностью, или с другими приложениями.

Второй выпуск лишает возможности использовать терминал с несколькими вкладками, слева/справа максимизируя. Как я фиксирую это?

1
задан 20 October 2017 в 17:48

1 ответ

Первый является не обязательно ошибкой. Терминальные приложения обычно просят, чтобы менеджер окон уважал критерии определенного размера (несколько из размера ячейки). В этом случае GNOME Shell отношения этот запрос. (Хотя это действительно непоследовательно, что, когда Вы полностью максимизируете, подсказки геометрии больше не уважают, и "разрыв" будет принадлежать GNOME Terminal.)

Второй походит на ошибку, необходимо зарегистрировать его GNOME Shell.

Как обходное решение, GNOME Terminal имеет скрытую опцию конфигурации показать панель вкладок, даже если только единственная вкладка присутствует. Можно активировать его

dconf write /org/gnome/terminal/legacy/tab-policy '"always"'

(и вернитесь с '"automatic"' или dconf reset ...).

ОБНОВЛЕНИЕ:

gnome-terminal только что получил фиксацию/обходное решение (не уверенный, что назвать ее) для второго выпуска (bugreport, фиксация). Это появится в следующей версии 3.28 и могло бы быть бэкпортировано к 3.26.x также.

UPDATE2:

GTK+ версия 3.22.25 правильно устраняет обе из этих проблем (bugreport, фиксируйте 1, фиксируйте 2, фиксируйте 3 – я думаю, что это - первая фиксация, это действительно важно здесь).

0
ответ дан 8 December 2019 в 03:42

Другие вопросы по тегам:

Похожие вопросы: