void form_Closed(object sender, EventArgs e) { lock (this) { if (form.DialogResult == DialogResult.OK) { SaveText(form.EditText); } form = null; } }
/// <summary> /// Called by Paratext when the menu item created for this plugin was clicked. /// </summary> public void Run(IHost ptHost, string activeProjectName) { host = ptHost; projectName = activeProjectName; Form formToShow; lock (this) { formToShow = form = new EditTextForm(projectName); form.EditText = GetSavedText(); form.Closed += form_Closed; } Application.Run(formToShow); Environment.Exit(0); }