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);
}
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();
}
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);
}
