Viewer.py
changeset 440 e183bffc05f0
parent 437 59e33406eea8
child 441 b7511a0b261c
--- a/Viewer.py	Sat Sep 26 18:47:40 2009 +0200
+++ b/Viewer.py	Fri Oct 02 18:14:43 2009 +0200
@@ -1197,97 +1197,82 @@
             self.SelectedElement.AlignElements(ALIGN_LEFT, None)
             self.RefreshBuffer()
             self.Refresh(False)
-        event.Skip()
     
     def OnAlignCenterMenu(self, event):
         if self.SelectedElement is not None and isinstance(self.SelectedElement, Graphic_Group):
             self.SelectedElement.AlignElements(ALIGN_CENTER, None)
             self.RefreshBuffer()
             self.Refresh(False)
-        event.Skip()
     
     def OnAlignRightMenu(self, event):
         if self.SelectedElement is not None and isinstance(self.SelectedElement, Graphic_Group):
             self.SelectedElement.AlignElements(ALIGN_RIGHT, None)
             self.RefreshBuffer()
             self.Refresh(False)
-        event.Skip()
     
     def OnAlignTopMenu(self, event):
         if self.SelectedElement is not None and isinstance(self.SelectedElement, Graphic_Group):
             self.SelectedElement.AlignElements(None, ALIGN_TOP)
             self.RefreshBuffer()
             self.Refresh(False)
-        event.Skip()
     
     def OnAlignMiddleMenu(self, event):
         if self.SelectedElement is not None and isinstance(self.SelectedElement, Graphic_Group):
             self.SelectedElement.AlignElements(None, ALIGN_MIDDLE)
             self.RefreshBuffer()
             self.Refresh(False)
-        event.Skip()
     
     def OnAlignBottomMenu(self, event):
         if self.SelectedElement is not None and isinstance(self.SelectedElement, Graphic_Group):
             self.SelectedElement.AlignElements(None, ALIGN_BOTTOM)
             self.RefreshBuffer()
             self.Refresh(False)
-        event.Skip()
         
     def OnNoModifierMenu(self, event):
         if self.SelectedElement is not None and self.IsBlock(self.SelectedElement):
             self.SelectedElement.SetConnectorNegated(False)
             self.SelectedElement.Refresh()
             self.RefreshBuffer()
-        event.Skip()
     
     def OnNegatedMenu(self, event):
         if self.SelectedElement is not None and self.IsBlock(self.SelectedElement):
             self.SelectedElement.SetConnectorNegated(True)
             self.SelectedElement.Refresh()
             self.RefreshBuffer()
-        event.Skip()
 
     def OnRisingEdgeMenu(self, event):
         if self.SelectedElement is not None and self.IsBlock(self.SelectedElement):
             self.SelectedElement.SetConnectorEdge("rising")
             self.SelectedElement.Refresh()
             self.RefreshBuffer()
-        event.Skip()
 
     def OnFallingEdgeMenu(self, event):
         if self.SelectedElement is not None and self.IsBlock(self.SelectedElement):
             self.SelectedElement.SetConnectorEdge("falling")
             self.SelectedElement.Refresh()
             self.RefreshBuffer()
-        event.Skip()
 
     def OnAddSegmentMenu(self, event):
         if self.SelectedElement is not None and self.IsWire(self.SelectedElement):
             self.SelectedElement.AddSegment()
             self.SelectedElement.Refresh()
-        event.Skip()
 
     def OnDeleteSegmentMenu(self, event):
         if self.SelectedElement is not None and self.IsWire(self.SelectedElement):
             self.SelectedElement.DeleteSegment()
             self.SelectedElement.Refresh()
-        event.Skip()
 
     def OnAddBranchMenu(self, event):
         if self.SelectedElement is not None and self.IsBlock(self.SelectedElement):
             self.AddDivergenceBranch(self.SelectedElement)
-        event.Skip()
 
     def OnDeleteBranchMenu(self, event):
         if self.SelectedElement is not None and self.IsBlock(self.SelectedElement):
             self.RemoveDivergenceBranch(self.SelectedElement)
-        event.Skip()
 
     def OnEditBlockMenu(self, event):
         if self.SelectedElement is not None:
             self.ParentWindow.EditProjectElement(ITEM_POU, "P::%s"%self.SelectedElement.GetType())
-        event.Skip()
 
     def OnDeleteMenu(self, event):
         if self.SelectedElement is not None:
@@ -1295,7 +1280,6 @@
             self.SelectedElement = None
             self.RefreshBuffer()
             self.Refresh(False)
-        event.Skip()
 
     def OnClearExecutionOrderMenu(self, event):
         self.Controler.ClearEditedElementExecutionOrder(self.TagName)