def indentBlock(block):
            cursor = cursorAtSpaceEnd(block)
            cursor.insertText(' ' if withSpace else self.text())
def paint(self, c):
		self.leaf.paint(c)
		if self.lchild != None:
			self.lchild.paint(c)
		if self.rchild != None:
			self.rchild.paint(c)