def indentBlock(block):
            cursor = cursorAtSpaceEnd(block)
            cursor.insertText(' ' if withSpace else self.text())
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()