Я использую F11
для переключения между полноэкранным окном и другим размером окна, который я установил. Я только что установил 16.04. Chrome и Firefox переключаются нормально с помощью F11
, но gnome-terminal переходит в полноэкранный режим и не возвращается к исходному размеру.
ctrl+super+up
и ctrl+super+down
работать нормально
Любые предложения по исправлению этой проблемы будут высоко оценены.
ОБНОВЛЕНИЕ: Это известная ошибка для gnome-terminal в версии 16.04, см.здесь. Пожалуйста, отметьте себя как пострадавшего от этой ошибки, если вы хотите, чтобы разработчики ее исправили.