public void ReloadDocument(Document doc, bool silent)
{
if (!silent)
{
OpenDocument(doc);
ReadDocumentFile(sci, doc.FileInfo);
}
else
{
var sciDoc = ((TextDocument)doc).GetSciDocument();
if (sci.GetCurrentDocument() == sciDoc)
{
OpenDocument(doc);
ReadDocumentFile(sci, doc.FileInfo);
}
else
{
using (var sciTemp = new BasicScintillaControl())
{
sciTemp.AttachDocument(sciDoc);
ReadDocumentFile(sciTemp, doc.FileInfo);
}
}
}
doc.IsDirty = false;
}
