... state_list change handlers and fill of entries . ... /Interface.py Wed Dec 08 02:33:39 2010 +0300 1.3 @@ -194,41 +194,67 @@ 1.4 self.draw() 1.5 1.6 def to_top(self):# replace choosen state to top 1.7 - index = automata.symbols.get( state _list.get( active ).split()[0]) 1.8 - state = automata.states [ index ] 1.9 - del automata.states [ index ] 1.10 - automata.states.insert(0, state ) 1.11 - state _list.delete( index ) 1.12 - state _list.insert(0, state ) 1.13 + ...