Python get_caret_placeholder Beispiele

Beispiel #1

Datei: zen_editor.py Projekt: MaxMillion/zen-coding-gedit-1

	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 = {}

Beispiel #2

    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 = {}

Beispiel #3

Datei: zen_editor.py Projekt: MaxMillion/zen-coding-gedit-1

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 ''

Beispiel #4

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 ''