KittyPatch/kitty
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

change_font_size current ... changes the current OS window's font size

Browse Source 
Signed-off-by: Philippe Proulx <eeppeliteloop@gmail.com>
This commit is contained in:
Philippe Proulx 2018-12-19 11:42:40 -05:00
parent 2367fad90b
commit 77492d31cf
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
kitty/config_data.py
View File

@ -169,14 +169,14 @@ Similarly, to switch back to the previous layout::
''')],
'shortcuts.fonts': [
_('Font sizes'), _('''\
You can change the font size for all top-level kitty windows at a time
You can change the font size for all top-level kitty OS windows at a time
or only the current one.
'''), _('''\
To setup shortcuts for specific font sizes::
map kitty_mod+f6 change_font_size all 10.0
To setup shortcuts to change only the current window's font size::
To setup shortcuts to change only the current OS window's font size::
map kitty_mod+f6 change_font_size current 10.0
''')],