Skip to main content
aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorteicher2003-10-31 15:47:48 +0000
committerteicher2003-10-31 15:47:48 +0000
commit44be880eab432477469fec3b6ce4f0c81ad24bac (patch)
tree02f9236b5e403975db0ac83c98026298dc838d77 /org.eclipse.jface.text/src/org/eclipse/jface/text/source/LineNumberRulerColumn.java
parentfb1f5d543793c5da09c474904ba4ff5bdbf31a45 (diff)
downloadeclipse.platform.text-44be880eab432477469fec3b6ce4f0c81ad24bac.tar.gz
eclipse.platform.text-44be880eab432477469fec3b6ce4f0c81ad24bac.tar.xz
eclipse.platform.text-44be880eab432477469fec3b6ce4f0c81ad24bac.zip
fixes Bug 45700: Java editing with line number causes unwanted selections...v20031104preRCPMergeRoot_RCP_WORK_2
Diffstat (limited to 'org.eclipse.jface.text/src/org/eclipse/jface/text/source/LineNumberRulerColumn.java')
-rw-r--r--org.eclipse.jface.text/src/org/eclipse/jface/text/source/LineNumberRulerColumn.java12
1 files changed, 9 insertions, 3 deletions
diff --git a/org.eclipse.jface.text/src/org/eclipse/jface/text/source/LineNumberRulerColumn.java b/org.eclipse.jface.text/src/org/eclipse/jface/text/source/LineNumberRulerColumn.java
index e32dd1f8687..1c5fc76d24f 100644
--- a/org.eclipse.jface.text/src/org/eclipse/jface/text/source/LineNumberRulerColumn.java
+++ b/org.eclipse.jface.text/src/org/eclipse/jface/text/source/LineNumberRulerColumn.java
@@ -103,8 +103,11 @@ public class LineNumberRulerColumn implements IVerticalRulerColumn {
* @see org.eclipse.swt.events.MouseListener#mouseUp(org.eclipse.swt.events.MouseEvent)
*/
public void mouseUp(MouseEvent event) {
- stopSelecting();
- stopAutoScroll();
+ // see bug 45700
+ if (event.button == 1) {
+ stopSelecting();
+ stopAutoScroll();
+ }
}
/*
@@ -112,7 +115,10 @@ public class LineNumberRulerColumn implements IVerticalRulerColumn {
*/
public void mouseDown(MouseEvent event) {
fParentRuler.setLocationOfLastMouseButtonActivity(event.x, event.y);
- startSelecting();
+ // see bug 45700
+ if (event.button == 1) {
+ startSelecting();
+ }
}
/*

Back to the top