992         event.Skip()

   992         event.Skip()

   993         

   993         

   994     def OnNoModifierMenu(self, event):

   994     def OnNoModifierMenu(self, event):

   995         if self.SelectedElement and self.IsBlock(self.SelectedElement):

   995         if self.SelectedElement and self.IsBlock(self.SelectedElement):

   996             self.SelectedElement.SetConnectorNegated(False)

   996             self.SelectedElement.SetConnectorNegated(False)

   997             self.RefreshBuffer()

   998             self.RefreshBuffer()

   998         event.Skip()

   999         event.Skip()

   999     

  1000     

  1000     def OnNegatedMenu(self, event):

  1001     def OnNegatedMenu(self, event):

  1001         if self.SelectedElement and self.IsBlock(self.SelectedElement):

  1002         if self.SelectedElement and self.IsBlock(self.SelectedElement):

  1002             self.SelectedElement.SetConnectorNegated(True)

  1003             self.SelectedElement.SetConnectorNegated(True)

  1003             self.RefreshBuffer()

  1005             self.RefreshBuffer()

  1004         event.Skip()

  1006         event.Skip()

  1005 

  1007 

  1006     def OnRisingEdgeMenu(self, event):

  1008     def OnRisingEdgeMenu(self, event):

  1007         if self.SelectedElement and self.IsBlock(self.SelectedElement):

  1009         if self.SelectedElement and self.IsBlock(self.SelectedElement):

  1008             self.SelectedElement.SetConnectorEdge("rising")

  1010             self.SelectedElement.SetConnectorEdge("rising")

  1009             self.RefreshBuffer()

  1012             self.RefreshBuffer()

  1010         event.Skip()

  1013         event.Skip()

  1011 

  1014 

  1012     def OnFallingEdgeMenu(self, event):

  1015     def OnFallingEdgeMenu(self, event):

  1013         if self.SelectedElement and self.IsBlock(self.SelectedElement):

  1016         if self.SelectedElement and self.IsBlock(self.SelectedElement):

  1014             self.SelectedElement.SetConnectorEdge("falling")

  1017             self.SelectedElement.SetConnectorEdge("falling")

  1015             self.RefreshBuffer()

  1019             self.RefreshBuffer()

  1016         event.Skip()

  1020         event.Skip()

  1017 

  1021 

  1018     def OnAddSegmentMenu(self, event):

  1022     def OnAddSegmentMenu(self, event):

  1019         if self.SelectedElement and self.IsWire(self.SelectedElement):

  1023         if self.SelectedElement and self.IsWire(self.SelectedElement):

  1020             self.SelectedElement.AddSegment()

  1024             self.SelectedElement.AddSegment()

  1021         event.Skip()

  1026         event.Skip()

  1022 

  1027 

  1023     def OnDeleteSegmentMenu(self, event):

  1028     def OnDeleteSegmentMenu(self, event):

  1024         if self.SelectedElement and self.IsWire(self.SelectedElement):

  1029         if self.SelectedElement and self.IsWire(self.SelectedElement):

  1025             self.SelectedElement.DeleteSegment()

  1030             self.SelectedElement.DeleteSegment()

  1026         event.Skip()

  1032         event.Skip()

  1027 

  1033 

  1028     def OnAddBranchMenu(self, event):

  1034     def OnAddBranchMenu(self, event):

  1029         if self.SelectedElement and self.IsBlock(self.SelectedElement):

  1035         if self.SelectedElement and self.IsBlock(self.SelectedElement):

  1030             self.AddDivergenceBranch(self.SelectedElement)

  1036             self.AddDivergenceBranch(self.SelectedElement)

  1045     def OnDeleteMenu(self, event):

  1051     def OnDeleteMenu(self, event):

  1046         if self.SelectedElement:

  1052         if self.SelectedElement:

  1047             self.SelectedElement.Delete()

  1053             self.SelectedElement.Delete()

  1048             self.SelectedElement = None

  1054             self.SelectedElement = None

  1049             self.RefreshBuffer()

  1055             self.RefreshBuffer()

  1050         event.Skip()

  1057         event.Skip()

  1051 

  1058 

  1052     def OnClearExecutionOrderMenu(self, event):

  1059     def OnClearExecutionOrderMenu(self, event):

  1053         self.Controler.ClearEditedElementExecutionOrder(self.TagName)

  1060         self.Controler.ClearEditedElementExecutionOrder(self.TagName)

  1054         self.RefreshBuffer()

  1061         self.RefreshBuffer()

  1211                     self.SelectedElement = None

  1218                     self.SelectedElement = None

  1212                     self.RefreshRect(self.GetScrolledRect(rect), False)

  1219                     self.RefreshRect(self.GetScrolledRect(rect), False)

  1213             else:

  1220             else:

  1214                 self.SelectedElement.OnLeftUp(event, dc, self.Scaling)

  1221                 self.SelectedElement.OnLeftUp(event, dc, self.Scaling)

  1215                 wx.CallAfter(self.SetCursor, wx.NullCursor)

  1222                 wx.CallAfter(self.SetCursor, wx.NullCursor)

  1217         if self.Mode != MODE_SELECTION and not self.SavedMode:

  1223         if self.Mode != MODE_SELECTION and not self.SavedMode:

  1218             wx.CallAfter(self.ParentWindow.ResetCurrentMode)

  1224             wx.CallAfter(self.ParentWindow.ResetCurrentMode)

  1219         event.Skip()

  1225         event.Skip()

  1220     

  1226     

  1221     def OnViewerRightDown(self, event):

  1227     def OnViewerRightDown(self, event):

  1235     def OnViewerRightUp(self, event):

  1241     def OnViewerRightUp(self, event):

  1236         dc = self.GetLogicalDC()

  1242         dc = self.GetLogicalDC()

  1237         if self.SelectedElement:

  1243         if self.SelectedElement:

  1238             self.SelectedElement.OnRightUp(event, dc, self.Scaling)

  1244             self.SelectedElement.OnRightUp(event, dc, self.Scaling)

  1239             wx.CallAfter(self.SetCursor, wx.NullCursor)

  1245             wx.CallAfter(self.SetCursor, wx.NullCursor)

  1241         else:

  1246         else:

  1242             self.PopupDefaultMenu(False)

  1247             self.PopupDefaultMenu(False)

  1243         event.Skip()

  1248         event.Skip()

  1244     

  1249     

  1245     def OnViewerLeftDClick(self, event):

  1250     def OnViewerLeftDClick(self, event):