mirrors/cdt
1
0
Fork 0
mirror of https://github.com/eclipse-cdt/cdt synced 2025-04-23 22:52:11 +02:00
Code Issues Wiki Activity

Bug 218085

Browse source
This commit is contained in:
Ken Ryall 2008-02-12 19:42:42 +00:00
parent 45dc1738ed
commit 2cd3d0b3a1
1 changed files with 11 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

12
debug/org.eclipse.cdt.debug.ui/src/org/eclipse/cdt/debug/internal/ui/sourcelookup/CSourceNotFoundEditor.java
View file

@ -341,5 +341,15 @@ public class CSourceNotFoundEditor extends CommonSourceNotFoundEditor {
}
return false;
}
/**
* @Override
* @see org.eclipse.debug.ui.sourcelookup.CommonSourceNotFoundEditor#getArtifact()
*/
protected Object getArtifact() {
Object o = super.getArtifact();
if (o instanceof CSourceNotFoundElement) {
return ((CSourceNotFoundElement) o).getElement();
}
return o;
}
}