equal
deleted
inserted
replaced
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() |