diff options
| author | Gerd Hoffmann <kraxel@redhat.com> | 2019-05-23 23:19:25 +0200 |
|---|---|---|
| committer | Gerd Hoffmann <kraxel@redhat.com> | 2019-05-23 23:19:25 +0200 |
| commit | 74fb4d2923af9f10f8f5eac4e7feb8725cf8746b (patch) | |
| tree | 61956c25a8a91d4993b90f64ab283576dbfa78fb /gterm.1 | |
| parent | da55132dbdf254816ba03f9bdcaad966d504b17d (diff) | |
| download | gterm-74fb4d2923af9f10f8f5eac4e7feb8725cf8746b.tar.gz | |
add font size menu
Diffstat (limited to 'gterm.1')
| -rw-r--r-- | gterm.1 | 3 |
1 files changed, 3 insertions, 0 deletions
@@ -33,6 +33,9 @@ Config file key: faceName. The font size to use. .br Config file key: faceSize. +.br +Only in the config file: faceSize1 .. faceSize6, they will be added as +alternative font sizes to the popup menu. .TP .BI -geometry " WxH" The width and height of the terminal window (in columns/rows, not pixels). |