web-dev-qa-db-ja.com

Ubuntu 18.04LTS Unity:「Ctrl」+「+」を押すとターミナルウィンドウのサイズが変更される

私のOSはUnity UIを備えたUbuntu 18.04です。 (を押して端末のフォントサイズを変更したいCtrl + +)および(Ctrl + -)。だから私は端末設定からショートカットを設定し、それが動作します:

screenshot of keyboard shortcuts

ただし、ターミナルウィンドウのサイズも増減するため、テキストを小さくするとターミナルが小さくなり、手動でサイズを変更する必要があります。端末を分割画面オプションでドッキングしても(左または右にドラッグして)、サイズは変更されません。しかし、これは、分割画面オプションでドッキングする必要があるたびに、より良いソリューションが必要であることを意味します。

1
DPM

しかし、ターミナルウィンドウのサイズも増加/減少します

GNOMEターミナルの場合、これは意図した動作です。

ドッキングと分割画面では、ウィンドウのサイズ(ピクセル単位)を変更せずに維持する外部の「力」があります。この「強制」は(文字セル全体に収まるように)優先ウィンドウサイズでのGNOMEターミナルの要求をオーバーライドするため、通常、右と下に未使用のスペースが追加されます。

「通常の」(ドッキングされていない、最大化されていないなど)ウィンドウでは、そのような外部の「力」はないため、ウィンドウサイズは(セル全体、常に現在のフォントサイズに合わせて)わずかに変化します。 dにはサイズ変更の増分ジオメトリヒントがなくなり、konsoleなどの他のターミナルエミュレーターによって行われるように、連続的なサイズ変更が行われます。

これらのソリューションはどれも完璧ではなく、それぞれに長所と短所があります。 GNOMEターミナルの開発者は、文字セルで測定したウィンドウサイズを維持することにしました。つまり、ズームオプションは、内部で実行中のアプリには影響しません(「外力」が異なるサイズを強制しない限り)。

1
egmont