web-dev-qa-db-ja.com

gnome-terminalフォントサイズを変更するショートカット

端末のフォントサイズを変更するには、高速なショートカットが必要です。 gnome-terminalを使用します。

試した Ctrl + + そして Ctrl + - しかし、サイズは変更されません。

別のショートカットはありますか?このようなショートカットを追加できますか?

19
Ionică Bizău

Ctrl++ そして Ctrl+- 私のためにうまく働いています。たぶん、異なるショートカットが設定されているかもしれません。

キーボードショートカットを変更するには、gnome-terminalメニューのEdit-> Keyboard Shortcuts ...に移動し、ズームインおよびズームアウト

enter image description here

23
Malte Skoruppa

試してみる ShiftCtrl+増加するため

そして Ctrl- フォントサイズを小さくするため。

注: Shift 一部のシステムではキーが必要です。

17
Felix Francis

私のために働いたトリックは、Ctrl + Shift + =またはCtrl + -を使用することでしたが、数字キーボードでは使用しませんでした。

5

端末は非常にリテラルであることに注意してください! Ubuntuターミナルが望む+キーは一番上の行にあり、Shiftが必要です。それ以外の場合は=です。

3
KevinR