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

Decrease minimum fonts size to 4pt

Browse Source
This commit is contained in:
Kovid Goyal 2017-11-21 07:13:17 +05:30
parent 4dc6918b13
commit b40e1e6492
No known key found for this signature in database
GPG Key ID: 06BC317B515ACE7C
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
kitty/config.py
View File

@ -19,7 +19,7 @@ from .rgb import to_color
from .utils import safe_print from .utils import safe_print
key_pat = re.compile(r'([a-zA-Z][a-zA-Z0-9_-]*)\s+(.+)$') key_pat = re.compile(r'([a-zA-Z][a-zA-Z0-9_-]*)\s+(.+)$')
MINIMUM_FONT_SIZE = 6 MINIMUM_FONT_SIZE = 4
def to_font_size(x): def to_font_size(x):