Viewer.py
changeset 267 a95bfb76a1eb
parent 264 11d5e2cb6faa
child 269 34eff05909b0
equal deleted inserted replaced
266:4f102c996fa3 267:a95bfb76a1eb
  1457             if position.y < SCROLL_ZONE and ystart > 0:
  1457             if position.y < SCROLL_ZONE and ystart > 0:
  1458                 move_window.y = -1
  1458                 move_window.y = -1
  1459             elif position.y > window_size[1] - SCROLL_ZONE:
  1459             elif position.y > window_size[1] - SCROLL_ZONE:
  1460                 move_window.y = 1
  1460                 move_window.y = 1
  1461             if move_window.x != 0 or move_window.y != 0:
  1461             if move_window.x != 0 or move_window.y != 0:
       
  1462                 self.RefreshVisibleElements(xp = xstart + move_window.x, yp = ystart + move_window.y)
  1462                 self.Scroll(xstart + move_window.x, ystart + move_window.y)
  1463                 self.Scroll(xstart + move_window.x, ystart + move_window.y)
  1463             self.RefreshScrollBars()
  1464             self.RefreshScrollBars()
  1464 
  1465 
  1465 #-------------------------------------------------------------------------------
  1466 #-------------------------------------------------------------------------------
  1466 #                          Keyboard event functions
  1467 #                          Keyboard event functions
  1533             if self.IsBlock(self.SelectedElement) or self.IsComment(self.SelectedElement):
  1534             if self.IsBlock(self.SelectedElement) or self.IsComment(self.SelectedElement):
  1534                 self.CopyBlock(self.SelectedElement, wx.Point(*self.SelectedElement.GetPosition()))
  1535                 self.CopyBlock(self.SelectedElement, wx.Point(*self.SelectedElement.GetPosition()))
  1535                 self.RefreshBuffer()
  1536                 self.RefreshBuffer()
  1536                 self.RefreshScrollBars()
  1537                 self.RefreshScrollBars()
  1537                 self.ParentWindow.RefreshVariablePanel(self.TagName)
  1538                 self.ParentWindow.RefreshVariablePanel(self.TagName)
       
  1539                 self.RefreshVisibleElements()
  1538                 self.SelectedElement.Refresh()
  1540                 self.SelectedElement.Refresh()
  1539             else:
  1541             else:
  1540                 event.Skip()
  1542                 event.Skip()
  1541         else:
  1543         else:
  1542             event.Skip()
  1544             event.Skip()