mirrors/cdt
1
0
Fork 0
mirror of https://github.com/eclipse-cdt/cdt synced 2025-04-29 19:45:01 +02:00
Code Issues Wiki Activity

Fix from Chris Wiebe

Browse source
This commit is contained in:
Alain Magloire 2004-05-27 14:39:27 +00:00
parent 979436cdf1
commit e44330ce84
1 changed files with 7 additions and 13 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

20
core/org.eclipse.cdt.ui/browser/org/eclipse/cdt/internal/ui/browser/opentype/OpenTypeAction.java
View file

@ -19,7 +19,6 @@ import org.eclipse.cdt.core.browser.TypeSearchScope;
import org.eclipse.cdt.core.model.CModelException; import org.eclipse.cdt.core.model.CModelException;
import org.eclipse.cdt.core.model.ICElement; import org.eclipse.cdt.core.model.ICElement;
import org.eclipse.cdt.core.resources.FileStorage; import org.eclipse.cdt.core.resources.FileStorage;
import org.eclipse.cdt.internal.ui.editor.CEditor;
import org.eclipse.cdt.internal.ui.util.EditorUtility; import org.eclipse.cdt.internal.ui.util.EditorUtility;
import org.eclipse.cdt.internal.ui.util.ExceptionHandler; import org.eclipse.cdt.internal.ui.util.ExceptionHandler;
import org.eclipse.cdt.ui.CUIPlugin; import org.eclipse.cdt.ui.CUIPlugin;
@ -161,8 +160,13 @@ public class OpenTypeAction implements IWorkbenchWindowActionDelegate {
editorPart = EditorUtility.openInEditor(storage); editorPart = EditorUtility.openInEditor(storage);
} }
} }
if (editorPart == null)
return false; // highlight the type in the editor
if (editorPart != null && editorPart instanceof ITextEditor) {
ITextEditor editor = (ITextEditor) editorPart;
editor.selectAndReveal(location.getOffset(), location.getLength());
return true;
}
} catch (CModelException ex) { } catch (CModelException ex) {
ex.printStackTrace(); ex.printStackTrace();
return false; return false;
@ -171,16 +175,6 @@ public class OpenTypeAction implements IWorkbenchWindowActionDelegate {
return false; return false;
} }
// highlight the type in the editor
if (cElement != null && editorPart instanceof CEditor) {
CEditor editor = (CEditor) editorPart;
editor.setSelection(cElement);
return true;
} else if (editorPart instanceof ITextEditor) {
ITextEditor editor = (ITextEditor) editorPart;
editor.selectAndReveal(location.getOffset(), location.getLength());
return true;
}
return false; return false;
} }