diff options
author | Dani Megert | 2011-07-06 06:48:41 +0000 |
---|---|---|
committer | Dani Megert | 2011-07-06 06:48:41 +0000 |
commit | 1abe55bf00e9eaa8625d330b9222628860889910 (patch) | |
tree | 6febb75dde26e65bf538382a9bfe121ce3e3f8d4 | |
parent | 97e1e83ea05049444dd3e8f00d8ef2806a8cb22c (diff) | |
download | eclipse.platform.text-1abe55bf00e9eaa8625d330b9222628860889910.tar.gz eclipse.platform.text-1abe55bf00e9eaa8625d330b9222628860889910.tar.xz eclipse.platform.text-1abe55bf00e9eaa8625d330b9222628860889910.zip |
Fixed bug 347871: Cannot navigate backward with the keyboard in Preferences > General > Compare/Patch > Text Comparev20110712-0800
-rw-r--r-- | org.eclipse.jface.text/src/org/eclipse/jface/text/TextViewer.java | 2 |
1 files changed, 1 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 064240f652a..8b7e0c52d90 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 @@ -1812,7 +1812,7 @@ public class TextViewer extends Viewer implements fTextWidget.addTraverseListener(new TraverseListener() { public void keyTraversed(TraverseEvent e) { if ((SWT.SHIFT == e.stateMask) && ('\t' == e.character)) - e.doit= false; + e.doit= !fTextWidget.getEditable(); } }); |