public void ClearMarkers()
{
foreach (TextMarker m in _markers)
{
_document.MarkerStrategy.RemoveMarker(m);
}
_markers.Clear();
_editor.Refresh();
}
public void ShowOutput(string text)
{
InvokeIfRequired(txt => {
if (!IsDisposed)
{
_outEditor.Text = txt;
_outEditor.Refresh(); // bug fix: area below EOF doesn't clear by itself
}
}, text);
}
private void FindAndReplaceForm_FormClosing(object sender, FormClosingEventArgs e)
{ // Prevent dispose, as this form can be re-used
if (e.CloseReason != CloseReason.FormOwnerClosing)
{
if (this.Owner != null)
{
this.Owner.Select(); // prevent another app from being activated instead
}
e.Cancel = true;
Hide();
// Discard search region
_search.ClearScanRegion();
_editor.Refresh(); // must repaint manually
}
}