def __init__(self, parent, integer=Integer(), **kw): #kw['state'] = 'disabled' kw.setdefault('anchor', 'nw') kw.setdefault('relief', 'sunken') kw.setdefault('width', 10) kw.setdefault('justify', 'left') self._var = StringVar() Label.__init__(self, parent, textvariable=self._var, **kw) self._integer_view = StringViewFormatter(integer) self._update_integer() self._factorization_enabled = False self.bind("<Configure>", self._update_width) self._init_menu()
def max_orders_wrapped(group, mode=StringViewFormatter.VERBOSE): format = lambda elem: StringViewFormatter(elem, mode=mode) return map(format, maximal_orders(group))
def integer(self, value): self._integer_view = StringViewFormatter(value) if self._factorization_enabled: self._integer_view.mode = StringViewFormatter.VERBOSE self._update_integer()
def transform_number(number): if type(number) in (SpectraElement, Integer): return StringViewFormatter(number) return StringViewFormatter(Integer(number))