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); }