diff options
| author |   Carl Friedrich Bolz <cfbolz@gmx.de> | 2014-02-03 11:45:08 +0100 |
|---|---|---|
| committer | Carl Friedrich Bolz <cfbolz@gmx.de> | 2014-02-03 11:45:08 +0100 |
| commit | cbf798df8f2d3f99a3bd6038cca31d1434caa191 (patch) | |
| tree | 806eda1d8902671de15f81210124689d191122cc /dotviewer/graphdisplay.py | |
| parent | Fix for 307818c61207 in test_pypy_c (diff) | |
| download | pypy-cbf798df8f2d3f99a3bd6038cca31d1434caa191.tar.gz pypy-cbf798df8f2d3f99a3bd6038cca31d1434caa191.tar.bz2 pypy-cbf798df8f2d3f99a3bd6038cca31d1434caa191.zip | |
support the scroll wheel (and the fany all-direction scrolling)
Diffstat (limited to 'dotviewer/graphdisplay.py')
| -rw-r--r-- | dotviewer/graphdisplay.py | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/dotviewer/graphdisplay.py b/dotviewer/graphdisplay.py index 450dcaea64..1002c0e97e 100644 --- a/dotviewer/graphdisplay.py +++ b/dotviewer/graphdisplay.py @@ -613,6 +613,19 @@ class GraphDisplay(Display): def process_MouseButtonUp(self, event): self.dragging = None pygame.event.set_grab(False) + # handle directional scrolling + if event.button == 4: + self.pan((0, -1)) + return + if event.button == 5: + self.pan((0, 1)) + return + if event.button == 6: + self.pan((-1, 0)) + return + if event.button == 7: + self.pan((1, 0)) + return if self.click_time is not None and abs(time.time() - self.click_time) < 1: # click (no significant dragging) self.notifyclick(self.click_origin) |