SFCViewer.py
changeset 112 317148fc1225
parent 90 2245e8776086
child 121 40b91ba978db
equal deleted inserted replaced
111:0ec40799ba11 112:317148fc1225
    29 
    29 
    30 class SFC_Viewer(Viewer):
    30 class SFC_Viewer(Viewer):
    31     
    31     
    32     def __init__(self, parent, window, controler):
    32     def __init__(self, parent, window, controler):
    33         Viewer.__init__(self, parent, window, controler)
    33         Viewer.__init__(self, parent, window, controler)
       
    34         self.CurrentLanguage = "SFC"
    34     
    35     
    35     def ConnectConnectors(self, start, end):
    36     def ConnectConnectors(self, start, end):
    36         startpoint = [start.GetPosition(False), start.GetDirection()]
    37         startpoint = [start.GetPosition(False), start.GetDirection()]
    37         endpoint = [end.GetPosition(False), end.GetDirection()]
    38         endpoint = [end.GetPosition(False), end.GetDirection()]
    38         wire = Wire(self, startpoint, endpoint)
    39         wire = Wire(self, startpoint, endpoint)
   321             self.Refresh()
   322             self.Refresh()
   322         elif keycode == wx.WXK_LEFT:
   323         elif keycode == wx.WXK_LEFT:
   323             if event.ControlDown() and event.ShiftDown():
   324             if event.ControlDown() and event.ShiftDown():
   324                 self.Scroll(0, ypos)
   325                 self.Scroll(0, ypos)
   325             elif event.ControlDown():
   326             elif event.ControlDown():
   326                 self.Scroll(max(0, xpos - 1), ypos)
   327                 event.Skip()
   327             elif self.SelectedElement:
   328             elif self.SelectedElement:
   328                 self.SelectedElement.Move(-scaling[0], 0)
   329                 self.SelectedElement.Move(-scaling[0], 0)
   329                 self.SelectedElement.RefreshModel()
   330                 self.SelectedElement.RefreshModel()
   330                 self.RefreshBuffer()
   331                 self.RefreshBuffer()
   331                 self.RefreshScrollBars()
   332                 self.RefreshScrollBars()
   332                 self.Refresh()
   333                 self.Refresh()
   333         elif keycode == wx.WXK_RIGHT:
   334         elif keycode == wx.WXK_RIGHT:
   334             if event.ControlDown() and event.ShiftDown():
   335             if event.ControlDown() and event.ShiftDown():
   335                 self.Scroll(xmax, ypos)
   336                 self.Scroll(xmax, ypos)
   336             elif event.ControlDown():
   337             elif event.ControlDown():
   337                 self.Scroll(min(xpos + 1, xmax), ypos)
   338                 event.Skip()
   338             elif self.SelectedElement:
   339             elif self.SelectedElement:
   339                 self.SelectedElement.Move(scaling[0], 0)
   340                 self.SelectedElement.Move(scaling[0], 0)
   340                 self.SelectedElement.RefreshModel()
   341                 self.SelectedElement.RefreshModel()
   341                 self.RefreshBuffer()
   342                 self.RefreshBuffer()
   342                 self.RefreshScrollBars()
   343                 self.RefreshScrollBars()
   343                 self.Refresh()
   344                 self.Refresh()
   344         elif keycode == wx.WXK_UP:
   345         elif keycode == wx.WXK_UP:
   345             if event.ControlDown() and event.ShiftDown():
   346             if event.ControlDown() and event.ShiftDown():
   346                 self.Scroll(xpos, 0)
   347                 self.Scroll(xpos, 0)
   347             elif event.ControlDown():
   348             elif event.ControlDown():
   348                 self.Scroll(xpos, max(0, ypos - 1))
   349                 event.Skip()
   349             elif self.SelectedElement:
   350             elif self.SelectedElement:
   350                 self.SelectedElement.Move(0, -scaling[1])
   351                 self.SelectedElement.Move(0, -scaling[1])
   351                 self.SelectedElement.RefreshModel()
   352                 self.SelectedElement.RefreshModel()
   352                 self.RefreshBuffer()
   353                 self.RefreshBuffer()
   353                 self.RefreshScrollBars()
   354                 self.RefreshScrollBars()
   354                 self.Refresh()
   355                 self.Refresh()
   355         elif keycode == wx.WXK_DOWN:
   356         elif keycode == wx.WXK_DOWN:
   356             if event.ControlDown() and event.ShiftDown():
   357             if event.ControlDown() and event.ShiftDown():
   357                 self.Scroll(xpos, ymax)
   358                 self.Scroll(xpos, ymax)
   358             elif event.ControlDown():
   359             elif event.ControlDown():
   359                 self.Scroll(xpos, min(ypos + 1, ymax))
   360                 event.Skip()
   360             elif self.SelectedElement:
   361             elif self.SelectedElement:
   361                 self.SelectedElement.Move(0, scaling[1])
   362                 self.SelectedElement.Move(0, scaling[1])
   362                 self.SelectedElement.RefreshModel()
   363                 self.SelectedElement.RefreshModel()
   363                 self.RefreshBuffer()
   364                 self.RefreshBuffer()
   364                 self.RefreshScrollBars()
   365                 self.RefreshScrollBars()
   365                 self.Refresh()
   366                 self.Refresh()
       
   367         else:
       
   368             event.Skip()
   366         
   369         
   367 #-------------------------------------------------------------------------------
   370 #-------------------------------------------------------------------------------
   368 #                          Adding element functions
   371 #                          Adding element functions
   369 #-------------------------------------------------------------------------------
   372 #-------------------------------------------------------------------------------
   370 
   373