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