tyler.durden/powerline
1
0
Fork 0
mirror of https://github.com/powerline/powerline.git synced 2025-04-08 19:25:04 +02:00
Code Issues Packages Projects Releases Wiki Activity

Add powerline-lint support for new local themes

Browse Source
This commit is contained in:
ZyX 2014-02-16 21:25:49 +04:00
parent 58d5d6b078
commit 19da7b28a0
1 changed files with 8 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
powerline/lint/__init__.py
View File

@ -478,6 +478,14 @@ main_spec = (Spec(
rewrite=theme_spec(), rewrite=theme_spec(),
), ),
).optional(), ).optional(),
shell=Spec(
colorscheme=colorscheme_spec(),
theme=theme_spec(),
local_themes=Spec(
continuation=theme_spec(),
select=theme_spec(),
),
).optional(),
).unknown_spec(check_ext, ).unknown_spec(check_ext,
Spec( Spec(
colorscheme=colorscheme_spec(), colorscheme=colorscheme_spec(),