equal
deleted
inserted
replaced
2188 if EditorToolBar: |
2188 if EditorToolBar: |
2189 EditorToolBar.ToggleTool(ID_PLCOPENEDITOREDITORTOOLBARSELECTION, False) |
2189 EditorToolBar.ToggleTool(ID_PLCOPENEDITOREDITORTOOLBARSELECTION, False) |
2190 EditorToolBar.ToggleTool(ID_PLCOPENEDITOREDITORTOOLBARSELECTION, True) |
2190 EditorToolBar.ToggleTool(ID_PLCOPENEDITOREDITORTOOLBARSELECTION, True) |
2191 |
2191 |
2192 def ResetToolToggle(self, id): |
2192 def ResetToolToggle(self, id): |
2193 tool = self.Panes["EditorToolBar"].FindById(id) |
2193 tool = self.Panes["EditorToolBar"] |
2194 tool.SetToggle(False) |
2194 tool.ToggleTool(toolId=id, toggle=False) |
2195 |
2195 |
2196 def OnSelectionTool(self, event): |
2196 def OnSelectionTool(self, event): |
2197 selected = self.TabsOpened.GetSelection() |
2197 selected = self.TabsOpened.GetSelection() |
2198 if selected != -1: |
2198 if selected != -1: |
2199 self.TabsOpened.GetPage(selected).SetMode(MODE_SELECTION) |
2199 self.TabsOpened.GetPage(selected).SetMode(MODE_SELECTION) |