def text(self):
        """Get indent text as \t or string of spaces
        """
        if self.useTabs:
            return '\t'
        else:
            return ' ' * self.width
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()