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