OptionsChanged() public method

public OptionsChanged ( ) : void
return void
Esempio n. 1
0
        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();
        }
Esempio n. 2
0
        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();
        }
Esempio n. 3
0
        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();
        }