167 

   167 

   168     def __init__(self, parent, window, controler):

   168     def __init__(self, parent, window, controler):

   169         Viewer.__init__(self, parent, window, controler)

   169         Viewer.__init__(self, parent, window, controler)

   170         self.Rungs = []

   170         self.Rungs = []

   171         self.RungComments = []

   171         self.RungComments = []

   172 

   173 

   173 #-------------------------------------------------------------------------------

   174 #-------------------------------------------------------------------------------

   174 #                          Refresh functions

   175 #                          Refresh functions

   175 #-------------------------------------------------------------------------------

   176 #-------------------------------------------------------------------------------

   176 

   177 

   439             elif keycode == wx.WXK_DOWN:

   440             elif keycode == wx.WXK_DOWN:

   440                 if event.ControlDown() and event.ShiftDown():

   441                 if event.ControlDown() and event.ShiftDown():

   441                     self.Scroll(xpos, ymax)

   442                     self.Scroll(xpos, ymax)

   442                 elif event.ControlDown():

   443                 elif event.ControlDown():

   443                     self.Scroll(xpos, min(ypos + 1, ymax))

   444                     self.Scroll(xpos, min(ypos + 1, ymax))

   445 

   447 

   446 #-------------------------------------------------------------------------------

   448 #-------------------------------------------------------------------------------

   447 #                          Adding element functions

   449 #                          Adding element functions

   448 #-------------------------------------------------------------------------------

   450 #-------------------------------------------------------------------------------

   449 

   451