私のOSはUnity UIを備えたUbuntu 18.04です。 (を押して端末のフォントサイズを変更したいCtrl + +)および(Ctrl + -)。だから私は端末設定からショートカットを設定し、それが動作します:
ただし、ターミナルウィンドウのサイズも増減するため、テキストを小さくするとターミナルが小さくなり、手動でサイズを変更する必要があります。端末を分割画面オプションでドッキングしても(左または右にドラッグして)、サイズは変更されません。しかし、これは、分割画面オプションでドッキングする必要があるたびに、より良いソリューションが必要であることを意味します。
しかし、ターミナルウィンドウのサイズも増加/減少します
GNOMEターミナルの場合、これは意図した動作です。
ドッキングと分割画面では、ウィンドウのサイズ(ピクセル単位)を変更せずに維持する外部の「力」があります。この「強制」は(文字セル全体に収まるように)優先ウィンドウサイズでのGNOMEターミナルの要求をオーバーライドするため、通常、右と下に未使用のスペースが追加されます。
「通常の」(ドッキングされていない、最大化されていないなど)ウィンドウでは、そのような外部の「力」はないため、ウィンドウサイズは(セル全体、常に現在のフォントサイズに合わせて)わずかに変化します。 dにはサイズ変更の増分ジオメトリヒントがなくなり、konsole
などの他のターミナルエミュレーターによって行われるように、連続的なサイズ変更が行われます。
これらのソリューションはどれも完璧ではなく、それぞれに長所と短所があります。 GNOMEターミナルの開発者は、文字セルで測定したウィンドウサイズを維持することにしました。つまり、ズームオプションは、内部で実行中のアプリには影響しません(「外力」が異なるサイズを強制しない限り)。