public SourceFile FindFile(string filename) { if (!SymbolsLoaded) return null; if (filename.IndexOf ('/') >= 0) { foreach (SourceFile source in Sources) { if (source.FileName == filename) return source; } } else { filename = Path.GetFileName (filename); foreach (SourceFile source in Sources) { if (Path.GetFileName (source.FileName).Equals (filename)) return source; } } return null; }