323                 self.Scroll(0, ypos)

   323                 self.Scroll(0, ypos)

   324             elif event.ControlDown():

   324             elif event.ControlDown():

   325                 self.Scroll(max(0, xpos - 1), ypos)

   325                 self.Scroll(max(0, xpos - 1), ypos)

   326             elif self.SelectedElement:

   326             elif self.SelectedElement:

   327                 self.SelectedElement.Move(-scaling[0], 0)

   327                 self.SelectedElement.Move(-scaling[0], 0)

   328                 self.RefreshBuffer()

   329                 self.RefreshBuffer()

   329                 self.RefreshScrollBars()

   330                 self.RefreshScrollBars()

   330                 self.Refresh()

   331                 self.Refresh()

   331         elif keycode == wx.WXK_RIGHT:

   332         elif keycode == wx.WXK_RIGHT:

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

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

   333                 self.Scroll(xmax, ypos)

   334                 self.Scroll(xmax, ypos)

   334             elif event.ControlDown():

   335             elif event.ControlDown():

   335                 self.Scroll(min(xpos + 1, xmax), ypos)

   336                 self.Scroll(min(xpos + 1, xmax), ypos)

   336             elif self.SelectedElement:

   337             elif self.SelectedElement:

   337                 self.SelectedElement.Move(scaling[0], 0)

   338                 self.SelectedElement.Move(scaling[0], 0)

   338                 self.RefreshBuffer()

   340                 self.RefreshBuffer()

   339                 self.RefreshScrollBars()

   341                 self.RefreshScrollBars()

   340                 self.Refresh()

   342                 self.Refresh()

   341         elif keycode == wx.WXK_UP:

   343         elif keycode == wx.WXK_UP:

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

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

   343                 self.Scroll(xpos, 0)

   345                 self.Scroll(xpos, 0)

   344             elif event.ControlDown():

   346             elif event.ControlDown():

   345                 self.Scroll(xpos, max(0, ypos - 1))

   347                 self.Scroll(xpos, max(0, ypos - 1))

   346             elif self.SelectedElement:

   348             elif self.SelectedElement:

   347                 self.SelectedElement.Move(0, -scaling[1])

   349                 self.SelectedElement.Move(0, -scaling[1])

   348                 self.RefreshBuffer()

   351                 self.RefreshBuffer()

   349                 self.RefreshScrollBars()

   352                 self.RefreshScrollBars()

   350                 self.Refresh()

   353                 self.Refresh()

   351         elif keycode == wx.WXK_DOWN:

   354         elif keycode == wx.WXK_DOWN:

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

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

   353                 self.Scroll(xpos, ymax)

   356                 self.Scroll(xpos, ymax)

   354             elif event.ControlDown():

   357             elif event.ControlDown():

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

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

   356             elif self.SelectedElement:

   359             elif self.SelectedElement:

   357                 self.SelectedElement.Move(0, scaling[1])

   360                 self.SelectedElement.Move(0, scaling[1])

   358                 self.RefreshBuffer()

   362                 self.RefreshBuffer()

   359                 self.RefreshScrollBars()

   363                 self.RefreshScrollBars()

   360                 self.Refresh()

   364                 self.Refresh()

   361         

   365         

   362 #-------------------------------------------------------------------------------

   366 #-------------------------------------------------------------------------------