mirrors/kitty
1
0
Fork 0
mirror of https://github.com/kovidgoyal/kitty synced 2026-07-28 03:01:57 +02:00
Code Issues Packages Projects Releases Wiki Activity

Fix #211

Browse Source
This commit is contained in:
Kovid Goyal
2017-12-03 00:30:11 +05:30
parent d12063daad
commit 70f71e8ada
1 changed files with 1 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

1
kitty/config.py
View File

@@ -206,6 +206,7 @@ def to_layout_names(raw):
for p in parts: for p in parts:
if p not in all_layouts: if p not in all_layouts:
raise ValueError('The window layout {} is unknown'.format(p)) raise ValueError('The window layout {} is unknown'.format(p))
return parts
def positive_int(x): def positive_int(x):