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