equal
deleted
inserted
replaced
2472 self.RefreshScrollBars() |
2472 self.RefreshScrollBars() |
2473 self.RefreshVisibleElements() |
2473 self.RefreshVisibleElements() |
2474 elif not self.Debug and self.SelectedElement is not None: |
2474 elif not self.Debug and self.SelectedElement is not None: |
2475 movex, movey = move |
2475 movex, movey = move |
2476 if not event.AltDown() or event.ShiftDown(): |
2476 if not event.AltDown() or event.ShiftDown(): |
2477 movex *= scaling[0] |
2477 movex = int(movex * scaling[0]) |
2478 movey *= scaling[1] |
2478 movey = int(movey * scaling[1]) |
2479 if event.ShiftDown() and not event.AltDown(): |
2479 if event.ShiftDown() and not event.AltDown(): |
2480 movex *= 10 |
2480 movex *= 10 |
2481 movey *= 10 |
2481 movey *= 10 |
2482 self.SelectedElement.Move(movex, movey) |
2482 self.SelectedElement.Move(movex, movey) |
2483 self.StartBuffering() |
2483 self.StartBuffering() |