diff options
| author | Sebastian Koslowski <koslowski@kit.edu> | 2016-05-31 17:35:10 +0200 |
|---|---|---|
| committer | Sebastian Koslowski <koslowski@kit.edu> | 2016-05-31 17:35:10 +0200 |
| commit | 69da909690bb8bc2072cffb622ddf7bf2e971cce (patch) | |
| tree | d1b961b21ba9cee24b26491138e247160e3bd726 /grc/gui/Constants.py | |
| parent | 71534ba66111d625ca2c1aeff11459796e4cea3a (diff) | |
grc: gtk3: remove canvas size and enable zooming
Diffstat (limited to 'grc/gui/Constants.py')
| -rw-r--r-- | grc/gui/Constants.py | 5 |
1 files changed, 1 insertions, 4 deletions
diff --git a/grc/gui/Constants.py b/grc/gui/Constants.py index 4ab644e8a1..55739a7c03 100644 --- a/grc/gui/Constants.py +++ b/grc/gui/Constants.py @@ -86,11 +86,8 @@ CONNECTOR_ARROW_HEIGHT = 17 # possible rotations in degrees POSSIBLE_ROTATIONS = (0, 90, 180, 270) -# How close can the mouse get to the window border before mouse events are ignored. -BORDER_PROXIMITY_SENSITIVITY = 50 - # How close the mouse can get to the edge of the visible window before scrolling is invoked. -SCROLL_PROXIMITY_SENSITIVITY = 30 +SCROLL_PROXIMITY_SENSITIVITY = 50 # When the window has to be scrolled, move it this distance in the required direction. SCROLL_DISTANCE = 15 |