Changeset 65:766236a9c924

Timestamp:

12/11/10 14:35:01 (5 years ago)

Author:

is_rusinov

Branch:

default

Message:

some correction in delete_state, add fix #15, fix #9

File:

• Interface.py (modified) (6 diffs)

Interface.py

@@ -274 +274 @@
                                 if self.keys[key] == index:
                                         del self.keys[key]
-                        self.selected_state = index
+                        del automata.states[index]
+                        if index in automata.states:
+                                self.selected_state = index
+                        elif len(automata.states):
+                                self.selected_state = len(automata.states) - 1
+                        else:
+                                self.selected_state = None
                         self.refresh_list()
+                        self.select_item(self.selected_state)
         
         def add(self):# add new state
@@ -284 +291 @@
                 nums = []
                 for i, value in enumerate(ckeckbox_nums):
-                        if value:
-                                nums.append(i)
+                                if value.get() == 1:
+                                        nums.append(i)
                 if self.keys.has_key(key):
                         error.config(text="State with such key has already existed")
@@ -304 +311 @@
                         self.keys[key] = len(automata.states) - 1
                         error.config(text="")
+                        self.selected_state = len(automata.states) - 1
                         self.refresh_list()
+                        self.select_item(self.selected_state)
         
         def change(self):# change chosen state
@@ -351 +360 @@
         def hide_automata_window(self):
                 automata_window.withdraw()
+        
         def refresh_list(self):
                 state_list.delete(0, "end")
@@ -357 +367 @@
                 if self.selected_state != None:
                         state_list.selection_set(self.selected_state)
-        def list_mouse_release(self, event):
-                selected = state_list.curselection()
-                self.selected_state = int(selected[0])
-                if len(selected):
-                        index = int(selected[0])
+        
+        def select_item(self, index):
+                if index != None:
                         state = automata.states[index]
                         state_name.delete(0, "end")
@@ -374 +382 @@
                         for i in range(9):
                                 ckeckbox_nums[i].set(i in state.nums)
-        
+                else:
+                        state_name.delete(0, "end")
+                        state_symbol.delete(0, "end")
+                        state_key.delete(0, "end")
+                        state_color.config(bg="white")
+                        for i in range(9):
+                                ckeckbox_nums[i].set(False)
+        
+        def list_mouse_release(self, event):
+                selected = state_list.curselection()
+                self.selected_state = int(selected[0])
+                if len(selected):
+                        self.select_item(self.selected_state)
         def choose_color(self, event):
                 state_color.config(bg=tkColorChooser.askcolor()[1])
-