Ubuntu 17.10 にアップグレードしたばかりですが、ターミナル ウィンドウを左/右に最大化するときに問題が発生します。ターミナル ウィンドウを画面の片側に最大化すると、全画面の高さが使用されず、下部が切り取られてしまいます。
ターミナルで新しいタブを開くと、ウィンドウの高さが画面の高さを超えて拡張されます。
ウィンドウを完全に最大化している場合や、他のアプリケーションを使用している場合は、この問題は発生しません。
2 番目の問題により、左/右に最大化しているときに複数のタブでターミナルを使用できなくなります。これを修正するにはどうすればよいですか?
答え1
最初のものは必ずしもバグではありません。ターミナル アプリケーションは通常、ウィンドウ マネージャーに特定のサイズ基準 (セル サイズの倍数) を尊重するように要求します。この場合、 はGNOME Shellこの要求を尊重します。(ただし、完全に最大化すると、ジオメトリ ヒントが尊重されなくなり、「ギャップ」が に属するようになるのは確かに矛盾しています。GNOME Terminal)
2 番目はバグのようですので、 に報告する必要がありますGNOME Shell。
回避策として、GNOME Terminalタブが1つしかない場合でもタブバーを表示する隠し設定オプションがあります。
dconf write /org/gnome/terminal/legacy/tab-policy '"always"'
(または で'"automatic"'元に戻しますdconf reset ...)。
アップデート：
gnome-terminal2番目の問題に対する修正/回避策（何と呼ぶべきかわかりません）を受け取りました（バグレポート、専念）。これは、今後のバージョン3.28で登場し、かもしれない3.26.x にもバックポートされます。
更新2:
GTK+バージョン3.22.25では、これらの問題の両方が適切に修正されています（バグレポート、コミット 1、コミット2、コミット 3- 私考えるここで本当に重要なのは最初のコミットです。