protected override void Dispose(bool disposing) { if (disposing) { if (!disposed) { disposed = true; Document.TextContentChanged -= DocumentTextContentChanged; Document.DocumentChanged -= AdjustScrollBarsOnDocumentChange; Document.UpdateCommited -= DocumentUpdateCommitted; motherTextEditorControl = null; if (vScrollBar != null) { vScrollBar.Dispose(); vScrollBar = null; } if (hScrollBar != null) { hScrollBar.Dispose(); hScrollBar = null; } if (hRuler != null) { hRuler.Dispose(); hRuler = null; } } } base.Dispose(disposing); }
public void OptionsChanged() { textArea.OptionsChanged(); if (textArea.TextEditorProperties.ShowHorizontalRuler) { if (hRuler == null) { hRuler = new HRuler(textArea); Controls.Add(hRuler); ResizeTextArea(); } else { hRuler.Invalidate(); } } else { if (hRuler != null) { Controls.Remove(hRuler); hRuler.Dispose(); hRuler = null; ResizeTextArea(); } } AdjustScrollBars(); }
public void OptionsChanged() { TextArea.OptionsChanged(); if (Shared.TEP.ShowHorizontalRuler) { if (_hRuler == null) { _hRuler = new HRuler(TextArea); Controls.Add(_hRuler); ResizeTextArea(); } else { _hRuler.Invalidate(); } } else { if (_hRuler != null) { Controls.Remove(_hRuler); _hRuler.Dispose(); _hRuler = null; ResizeTextArea(); } } AdjustScrollBars(); }
protected override void Dispose(bool disposing) { if (disposing) { if (!_disposed) { _disposed = true; Document.TextContentChanged -= DocumentTextContentChanged; Document.DocumentChanged -= AdjustScrollBarsOnDocumentChange; Document.UpdateCommited -= DocumentUpdateCommitted; _motherTextEditorControl = null; if (VScrollBar != null) { VScrollBar.Dispose(); VScrollBar = null; } if (HScrollBar != null) { HScrollBar.Dispose(); HScrollBar = null; } if (_hRuler != null) { _hRuler.Dispose(); _hRuler = null; } } } base.Dispose(disposing); }
protected override void Dispose(bool disposing) { if (disposing) { if (!disposed) { disposed = true; Document.DocumentChanged -= new DocumentEventHandler(AdjustScrollBars); motherTextEditorControl = null; if (vScrollBar != null) { vScrollBar.Dispose(); vScrollBar = null; } if (hScrollBar != null) { hScrollBar.Dispose(); hScrollBar = null; } if (hRuler != null) { hRuler.Dispose(); hRuler = null; } } } base.Dispose(disposing); }
public void OptionsChanged() { TextArea.OptionsChanged(); if (TextArea.TextEditorProperties.ShowHorizontalRuler) { if (hRuler == null) { hRuler = new HRuler(TextArea); Controls.Add(hRuler); UpdateLayout(); } else { hRuler.Invalidate(); } } else { if (hRuler != null) { Controls.Remove(hRuler); hRuler.Dispose(); hRuler = null; UpdateLayout(); } } UpdateLayout(); }
public void OptionsChanged() { this.textArea.OptionsChanged(); if (this.textArea.TextEditorProperties.ShowHorizontalRuler) { if (this.hRuler != null) { this.hRuler.Invalidate(); } else { this.hRuler = new HRuler(this.textArea); base.Controls.Add(this.hRuler); this.ResizeTextArea(); } } else if (this.hRuler != null) { base.Controls.Remove(this.hRuler); this.hRuler.Dispose(); this.hRuler = null; this.ResizeTextArea(); } this.AdjustScrollBars(); }
protected override void Dispose(bool disposing) { if (disposing && !this.disposed) { this.disposed = true; this.Document.TextContentChanged -= new EventHandler(this.DocumentTextContentChanged); this.Document.DocumentChanged -= new DocumentEventHandler(this.AdjustScrollBarsOnDocumentChange); this.Document.UpdateCommited -= new EventHandler(this.DocumentUpdateCommitted); this.motherTextEditorControl = null; if (this.vScrollBar != null) { this.vScrollBar.Dispose(); this.vScrollBar = null; } if (this.hScrollBar != null) { this.hScrollBar.Dispose(); this.hScrollBar = null; } if (this.hRuler != null) { this.hRuler.Dispose(); this.hRuler = null; } } base.Dispose(disposing); }