16.04 F11 сломан для гном-терминала

Я использую F11 для переключения между полноэкранным окном и другим размером окна, который я установил. Я только что установил 16.04. Chrome и Firefox прекрасно переключаются с помощью F11, но gnome-терминал переходит в полноэкранный режим и не возвращается к исходному размеру.

ctrl+super+up и ctrl+super+down работают нормально

Любое предложение, как это исправить, будет высоко ценится.

ОБНОВЛЕНИЕ: Это известная ошибка для терминала gnome 16.04, см. здесь . Пожалуйста, отметьте себя как затронутую этой ошибкой, если вы хотите, чтобы она была исправлена ​​разработчиками.