mirror of
https://github.com/powerline/powerline.git
synced 2025-07-23 22:05:43 +02:00
Mark term_escape_style setting as optional
This commit is contained in:
parent
aeba94b02d
commit
af9420b89f
@ -57,7 +57,7 @@ main_spec = (Spec(
|
|||||||
common=Spec(
|
common=Spec(
|
||||||
default_top_theme=top_theme_spec().optional(),
|
default_top_theme=top_theme_spec().optional(),
|
||||||
term_truecolor=Spec().type(bool).optional(),
|
term_truecolor=Spec().type(bool).optional(),
|
||||||
term_escape_style=Spec().type(unicode).oneof(set(('auto', 'xterm', 'fbterm'))),
|
term_escape_style=Spec().type(unicode).oneof(set(('auto', 'xterm', 'fbterm'))).optional(),
|
||||||
# Python is capable of loading from zip archives. Thus checking path
|
# Python is capable of loading from zip archives. Thus checking path
|
||||||
# only for existence of the path, not for it being a directory
|
# only for existence of the path, not for it being a directory
|
||||||
paths=Spec().list(
|
paths=Spec().list(
|
||||||
|
Loading…
x
Reference in New Issue
Block a user