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

Fix for 183482: C Editor always re-opens file which was alreay open

This commit is contained in:
Anton Leherbauer 2007-04-25 11:58:21 +00:00
parent b48dbe507a
commit dcc302a00d

View file

@ -882,7 +882,7 @@ public class CView extends ViewPart implements ISetSelectionTarget, IPropertyCha
IWorkbenchPage page = getSite().getPage();
page.bringToTop(part);
if (obj instanceof ISourceReference) {
if (obj instanceof ICElement) {
if (obj instanceof ICElement && !(obj instanceof ITranslationUnit)) {
EditorUtility.revealInEditor(part, (ICElement) obj);
}
}