def insertIndent():
            if self.useTabs:
                cursor.insertText('\t')
            else:  # indent to integer count of indents from line start
                charsToInsert = self.width - (len(self._qpart.textBeforeCursor()) % self.width)
                cursor.insertText(' ' * charsToInsert)
def get_leafs(self):
		if self.lchild == None and self.rchild == None:
			return [self.leaf]
		else:
			return self.lchild.get_leafs()+self.rchild.get_leafs()