Skip to main content
summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorDani Megert2014-05-28 12:58:43 +0000
committerDani Megert2014-05-28 12:58:43 +0000
commit859c239132e026f19cea2416f289335f8c3338fc (patch)
tree936ee21f310ef4a3e405a82b6753613e61b4429e
parent4263670aaa042797f3b74edc91302c97d10ba64c (diff)
downloadeclipse.platform.text-R3_6_maintenance.tar.gz
eclipse.platform.text-R3_6_maintenance.tar.xz
eclipse.platform.text-R3_6_maintenance.zip
Backported bug 434791: [inline][quick assist] Delete key does not work after Inline local variabler362_v20140528R3_6_maintenance
-rw-r--r--org.eclipse.jface.text/src/org/eclipse/jface/text/TextViewer.java13
1 files changed, 12 insertions, 1 deletions
diff --git a/org.eclipse.jface.text/src/org/eclipse/jface/text/TextViewer.java b/org.eclipse.jface.text/src/org/eclipse/jface/text/TextViewer.java
index 42b75cf3cc7..53cbe9b9e70 100644
--- a/org.eclipse.jface.text/src/org/eclipse/jface/text/TextViewer.java
+++ b/org.eclipse.jface.text/src/org/eclipse/jface/text/TextViewer.java
@@ -1,5 +1,5 @@
/*******************************************************************************
- * Copyright (c) 2000, 2010 IBM Corporation and others.
+ * Copyright (c) 2000, 2014 IBM Corporation and others.
* All rights reserved. This program and the accompanying materials
* are made available under the terms of the Eclipse Public License v1.0
* which accompanies this distribution, and is available at
@@ -3929,6 +3929,9 @@ public class TextViewer extends Viewer implements
return fUndoManager != null && fUndoManager.redoable();
case PRINT:
return isPrintable();
+ // Workaround to fix bug 434791 during 4.4 RC2. Will be replaced by official API during 4.5.
+ case -100:
+ return true;
}
return false;
@@ -4012,6 +4015,14 @@ public class TextViewer extends Viewer implements
case PRINT:
print();
break;
+ // Workaround to fix bug 434791 during 4.4 RC2. Will be replaced by official API during 4.5.
+ case -100:
+ if (fLastSentSelectionChange != null) {
+ ISelection lastSelection= new TextSelection(getDocument(), fLastSentSelectionChange.getOffset(), fLastSentSelectionChange.getLength());
+ fireSelectionChanged(new SelectionChangedEvent(this, lastSelection));
+ }
+ return;
+
}
}

Back to the top