diff options
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 |