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

Fix required keys handling: do not require more keys then required

Browse Source
This commit is contained in:
ZyX 2014-08-03 04:48:27 +04:00
parent fc40c80be2
commit 23ec5efb41
1 changed files with 2 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
powerline/lint/__init__.py
View File

@ -683,11 +683,10 @@ type_keys = {
'filler': set(('type', 'highlight_group', 'divider_highlight_group')), 'filler': set(('type', 'highlight_group', 'divider_highlight_group')),
} }
required_keys = { required_keys = {
'function': set(), 'function': set(('name',)),
'string': set(('contents',)), 'string': set(('contents',)),
'filler': set(), 'filler': set(),
} }
function_keys = set(('args', 'module'))
highlight_keys = set(('highlight_group', 'name')) highlight_keys = set(('highlight_group', 'name'))
@ -712,7 +711,7 @@ def check_key_compatibility(segment, data, context, echoerr):
problem_mark=list(unknown_keys)[0].mark) problem_mark=list(unknown_keys)[0].mark)
hadproblem = True hadproblem = True
if not (keys > required_keys[segment_type]): if not (keys >= required_keys[segment_type]):
missing_keys = required_keys[segment_type] - keys missing_keys = required_keys[segment_type] - keys
echoerr(context='Error while checking segments (key {key})'.format(key=context_key(context)), echoerr(context='Error while checking segments (key {key})'.format(key=context_key(context)),
context_mark=context[-1][1].mark, context_mark=context[-1][1].mark,