public DocumentForm OpenFile(string filePath)
{
bool isOpen = false;
foreach (DocumentForm documentForm in dockPanel.Documents)
{
if (filePath.Equals(documentForm.FilePath, StringComparison.OrdinalIgnoreCase))
{
documentForm.Select();
isOpen = true;
break;
}
}
// Open the files
if (isOpen) return null;
DocumentForm doc = new DocumentForm();
doc.m_mainForm = this;
SetScintillaToCurrentOptions(doc);
doc.Scintilla.Text = File.ReadAllText(filePath);
doc.Scintilla.UndoRedo.EmptyUndoBuffer();
doc.Scintilla.Modified = false;
doc.Text = Path.GetFileName(filePath);
doc.ParseFile();
doc.FilePath = filePath;
doc.Show(dockPanel);
toolIncremental.Searcher.Scintilla = doc.Scintilla;
return doc;
}
private DocumentForm NewDocument()
{
DocumentForm doc = new DocumentForm();
doc.m_mainForm = this;
SetScintillaToCurrentOptions(doc);
doc.Text = String.Format(CultureInfo.CurrentCulture, "{0}{1}", NEW_DOCUMENT_TEXT, ++_newDocumentCount);
doc.Show(dockPanel);
toolIncremental.Searcher.Scintilla = doc.Scintilla;
return doc;
}
