def __init__(self, master, **kw):
apply(ScrolledText.__init__, (self, master), kw)
self.pool = Pool(self)
self.sorts = {}
self.sorts_order = []
self.clip_text = ''
self.clip_styling = []
# XXX force-mechanism should be moved to TextEditor
self.style_force = []
self._patch_tk()
self.bind('<Control-c>', self.copyevent)
self.bind('<Control-v>', self.pasteevent)
self.bind('<Alt-p>', lambda e, s=self:s.pool.dump())
self.bind('<Alt-t>', lambda e, s=self:s.tag_dump())
self.bind('<Alt-m>', lambda e, s=self:s.mark_dump())
self.bind('<Alt-g>', lambda e, s=self:s.styling_dump())
self.bind('<Alt-s>', lambda e, s=self:s.print_current_style())
self.bind('<Alt-f>', lambda e, s=self:s.fontify('1.0','end'))
def style_removeall(self):
for mark in self.mark_names():
if mark[0] == '_':
self.mark_unset(mark)
self.pool = Pool(self)
self.fontify('1.0','end')
