SFCViewer.py
changeset 318 2a5421d0f286
parent 274 047e36c63736
child 327 7fd5233ce5ce
equal deleted inserted replaced
317:bb25a8edd3e4 318:2a5421d0f286
   657     
   657     
   658     def AddDivergenceBranch(self, divergence):
   658     def AddDivergenceBranch(self, divergence):
   659         if isinstance(divergence, SFC_Divergence):
   659         if isinstance(divergence, SFC_Divergence):
   660             if self.GetDrawingMode() == FREEDRAWING_MODE:
   660             if self.GetDrawingMode() == FREEDRAWING_MODE:
   661                 divergence.AddBranch()
   661                 divergence.AddBranch()
       
   662                 self.RefreshDivergenceModel(divergence)
   662             else:
   663             else:
   663                 type = divergence.GetType()
   664                 type = divergence.GetType()
   664                 if type in [SELECTION_DIVERGENCE, SIMULTANEOUS_DIVERGENCE]:
   665                 if type in [SELECTION_DIVERGENCE, SIMULTANEOUS_DIVERGENCE]:
   665                     divergence.AddBranch()
   666                     divergence.AddBranch()
   666                     divergence_connectors = divergence.GetConnectors()
   667                     divergence_connectors = divergence.GetConnectors()
   677     
   678     
   678     def RemoveDivergenceBranch(self, divergence):
   679     def RemoveDivergenceBranch(self, divergence):
   679         if isinstance(divergence, SFC_Divergence):
   680         if isinstance(divergence, SFC_Divergence):
   680             if self.GetDrawingMode() == FREEDRAWING_MODE:
   681             if self.GetDrawingMode() == FREEDRAWING_MODE:
   681                 divergence.RemoveHandledBranch()
   682                 divergence.RemoveHandledBranch()
       
   683                 self.RefreshDivergenceModel(divergence)
   682                 self.RefreshBuffer()
   684                 self.RefreshBuffer()
   683                 self.RefreshScrollBars()
   685                 self.RefreshScrollBars()
   684                 self.Refresh(False)
   686                 self.Refresh(False)
   685     
   687     
   686     def AddJump(self):
   688     def AddJump(self):