diff options
| author | Billy Biggs <bbiggs> | 2005-05-06 13:58:26 +0000 |
|---|---|---|
| committer | Billy Biggs <bbiggs> | 2005-05-06 13:58:26 +0000 |
| commit | fa90e52866d19d59f6434b27557ff6928fecfc6f (patch) | |
| tree | 6787ff9af5452cfdd1e922ac65ac3404cba63910 | |
| parent | 99a2381bbc6fc850bd79975547006e7b05a0d94b (diff) | |
| download | eclipse.platform.swt-fa90e52866d19d59f6434b27557ff6928fecfc6f.tar.gz eclipse.platform.swt-fa90e52866d19d59f6434b27557ff6928fecfc6f.tar.xz eclipse.platform.swt-fa90e52866d19d59f6434b27557ff6928fecfc6f.zip | |
Slow down the mouse selection speed.v3133-M7-warm-up
| -rwxr-xr-x | bundles/org.eclipse.swt/Eclipse SWT Custom Widgets/common/org/eclipse/swt/custom/StyledText.java | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/bundles/org.eclipse.swt/Eclipse SWT Custom Widgets/common/org/eclipse/swt/custom/StyledText.java b/bundles/org.eclipse.swt/Eclipse SWT Custom Widgets/common/org/eclipse/swt/custom/StyledText.java index 4125760e99..be7d113aac 100755 --- a/bundles/org.eclipse.swt/Eclipse SWT Custom Widgets/common/org/eclipse/swt/custom/StyledText.java +++ b/bundles/org.eclipse.swt/Eclipse SWT Custom Widgets/common/org/eclipse/swt/custom/StyledText.java @@ -2477,7 +2477,7 @@ void doAutoScroll(int direction, int distance) { timer = new Runnable() { public void run() { if (autoScrollDirection == SWT.UP) { - int lines = ((autoScrollDistance * autoScrollDistance) / (getLineHeight() * 32)) + 1; + int lines = (autoScrollDistance / getLineHeight()) + 1; doSelectionPageUp(lines); display.timerExec(TIMER_INTERVAL, this); } @@ -2487,7 +2487,7 @@ void doAutoScroll(int direction, int distance) { timer = new Runnable() { public void run() { if (autoScrollDirection == SWT.DOWN) { - int lines = ((autoScrollDistance * autoScrollDistance) / (getLineHeight() * 32)) + 1; + int lines = (autoScrollDistance / getLineHeight()) + 1; doSelectionPageDown(lines); display.timerExec(TIMER_INTERVAL, this); } |