private void GUIController_OnMainWindowActivated(object sender, EventArgs e) { if (_fileChangedExternally) { PromptUserThatFileHasChangedExternally(); } }