mirrors/cdt
1
0
Fork 0
mirror of https://github.com/eclipse-cdt/cdt synced 2025-06-06 17:26:01 +02:00
Code Issues Wiki Activity

Prevent opening a new editor each time.

Browse source
This commit is contained in:
Ken Ryall 2010-04-19 21:28:24 +00:00
parent f71f3c7fc6
commit c7d41662a4
1 changed files with 9 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

9
debug/org.eclipse.cdt.debug.ui/src/org/eclipse/cdt/debug/internal/ui/sourcelookup/CSourceNotFoundEditorInput.java
View file

@ -27,4 +27,13 @@ public class CSourceNotFoundEditorInput extends CommonSourceNotFoundEditorInput
return super.getName();
}
@Override
public boolean equals(Object other) {
if (other instanceof CSourceNotFoundEditorInput)
{
return super.equals(other) || (this.getName().equals(((CSourceNotFoundEditorInput) other).getName()));
}
return super.equals(other);
}
}