void scintillaEditor_IsModifiedChanged(object sender, EventArgs e)
{
//Using the same hack as in ScriptEditor.scintillaEditor_IsModifiedChanged
if (_lastKnownScriptText == null)
{
_lastKnownScriptText = _dialog.Text;
}
string newText = scintillaEditor.GetText();
if (_lastKnownScriptText == newText)
{
DockingContainer container = (DockingContainer)DockingContainer;
//container.InitScriptIfNeeded<object>(Reinitialize, null);
Reinitialize(null);
}
_lastKnownScriptText = newText;
}
void Document_DockStateChanged(object sender, EventArgs e)
{
if (_dockPanel.IsDisposed)
{
return;
}
DockingContainer dockingContainer = (DockingContainer)sender;
EditorContentPanel panel = dockingContainer.Panel;
ContentDocument docToRemove = null;
if (panel.DockingContainer.DockState == DockingState.Unknown ||
panel.DockingContainer.DockState == DockingState.Hidden)
{
foreach (ContentDocument document in _panes)
{
if (document.Control == panel)
{
if (dockingContainer.IsShowing)
{
dockingContainer.IsShowing = false;
}
else
{
docToRemove = document;
}
break;
}
}
}
if (docToRemove != null)
{
RemoveDocument(docToRemove);
}
else
{
panel.DockingContainer.Refresh();
}
}
void DockingContainer_DockStateChanged(object sender, EventArgs e)
{
DockingContainer container = (DockingContainer)DockingContainer;
container.InitScriptIfNeeded <object>(Reinitialize, null);
}
