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

...

Browse Source
This commit is contained in:
Kovid Goyal 2018-03-15 11:31:37 +05:30
parent 81bcdaf48a
commit b252504306
No known key found for this signature in database
GPG Key ID: 06BC317B515ACE7C
1 changed files with 4 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
kitty/remote_control.py
View File

@ -85,7 +85,10 @@ def ls(boss, window):
argspec='FONT_SIZE' argspec='FONT_SIZE'
) )
def cmd_set_font_size(global_opts, opts, args): def cmd_set_font_size(global_opts, opts, args):
return {'size': float(args[0])} try:
return {'size': float(args[0])}
except IndexError:
raise SystemExit('No font size specified')
def set_font_size(boss, window, payload): def set_font_size(boss, window, payload):