Searched refs:merged_marks (Results 1 – 1 of 1) sorted by relevance
| /dports/misc/py-powerline-status/powerline-2.8.2/powerline/lint/markedjson/ |
| H A D | error.py | 47 def __init__(self, name, line, column, buffer, pointer, old_mark=None, merged_marks=None): argument
54 self.merged_marks = merged_marks or []
57 …(self.name, self.line, self.column, self.buffer, self.pointer, self.old_mark, self.merged_marks[:])
107 self.merged_marks.append(merged_mark)
121 if mark.merged_marks:
123 where += mark.merged_marks[0].to_string(indent + 4, head_text='', add_snippet=False)
124 for mmark in mark.merged_marks[1:]:
|