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) |