*** empty log message ***
diff --git a/org.eclipse.ui.workbench.texteditor/src/org/eclipse/ui/texteditor/TextNavigationAction.java b/org.eclipse.ui.workbench.texteditor/src/org/eclipse/ui/texteditor/TextNavigationAction.java index daa0cb6..e7af996 100644 --- a/org.eclipse.ui.workbench.texteditor/src/org/eclipse/ui/texteditor/TextNavigationAction.java +++ b/org.eclipse.ui.workbench.texteditor/src/org/eclipse/ui/texteditor/TextNavigationAction.java
@@ -256,4 +256,12 @@ */ public void setToolTipText(String text) { } + /* (non-Javadoc) + * @see org.eclipse.jface.action.IAction#isThreadSafe() + */ + public boolean isThreadSafe() { + // XXX Auto-generated method stub + return false; + } + }