def __init__(self, window): self.window = window self.last_wrap = '' self.last_expand = '' self.last_lorem_ipsum = 'list 5*5' self.placeholder = zen_core.get_caret_placeholder() zen_core.set_caret_placeholder('') self.html_navigation = None self.snippet_document = {}
def placeholder_feed(m): global placeholder_count placeholder_count += 1 skip = len(zen_core.get_caret_placeholder()) + 1 if m and m.group(1): if m.group(1).startswith('{{'): return '${' + repr(placeholder_count) elif m.group(1).startswith('>'): return '>${' + repr(placeholder_count) + ':' + m.group(1)[skip:-1] + '}<' else: return '$' + repr(placeholder_count) else: return ''