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))
