def __init__(self, indent, par_type="none"): #if indent <= 0: # print "error" if par_type == "bullet": par_indent_size = BULLET_PAR_INDENT extra_margin = 0 else: # "none" par_indent_size = 0 extra_margin = BULLET_PAR_INDENT RichTextTag.__init__(self, "indent %d %s" % (indent, par_type), left_margin=MIN_INDENT + INDENT_SIZE * (indent-1) + extra_margin, indent=-par_indent_size) self._indent = indent self._par_type = par_type
def __init__(self, indent, par_type="none"): #if indent <= 0: # print "error" if par_type == "bullet": par_indent_size = BULLET_PAR_INDENT extra_margin = 0 else: # "none" par_indent_size = 0 extra_margin = BULLET_PAR_INDENT RichTextTag.__init__(self, "indent %d %s" % (indent, par_type), left_margin=MIN_INDENT + INDENT_SIZE * (indent - 1) + extra_margin, indent=-par_indent_size) self._indent = indent self._par_type = par_type
def __init__(self, href): RichTextTag.__init__(self, "link %s" % href, foreground=self.LINK_COLOR, underline=pango.UNDERLINE_SINGLE) self._href = href
def __init__(self): RichTextTag.__init__(self, "bullet")
def __init__(self, color): RichTextTag.__init__(self, "bg_color %s" % color, background=color)
def __init__(self, color): RichTextTag.__init__(self, "fg_color %s" % color, foreground=color)
def __init__(self, size): RichTextTag.__init__(self, "size %d" % size, size_points=size)
def __init__(self, family): RichTextTag.__init__(self, "family " + family, family=family)
def __init__(self, name, **kargs): RichTextTag.__init__(self, name, **kargs)