diff options
author | Dani Megert | 2014-05-28 12:58:43 +0000 |
---|---|---|
committer | Dani Megert | 2014-05-28 12:58:43 +0000 |
commit | 859c239132e026f19cea2416f289335f8c3338fc (patch) | |
tree | 936ee21f310ef4a3e405a82b6753613e61b4429e | |
parent | 4263670aaa042797f3b74edc91302c97d10ba64c (diff) | |
download | eclipse.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.java | 13 |
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; + } } |