| commit | 64ab517812258ddd69f0d2facd0117aba5cd35a6 | [log] [tgz] |
|---|---|---|
| author | tod | Wed May 14 13:15:59 2003 +0000 |
| committer | tod | Wed May 14 13:15:59 2003 +0000 |
| tree | 44160999cf860b4eb859d9e6eff8c743a906a9cc | |
| parent | 4ff4ac2b5185f799e139b648e4c446afd17cb550 [diff] |
*** 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; + } + }