Beispiel #1
0
 public override void Dispose()
 {
     if (_panel != null)
     {
         _panel.Dispose();
         _panel = null;
     }
 }
Beispiel #2
0
 public override void InitiUI(IPreferenceFolder[] values)
 {
     if (_panel == null)
     {
         _panel = new DisplayOptionPanel();
     }
     _panel.InitUI((ITerminalEmulatorOptions)values[0].QueryAdapter(typeof(ITerminalEmulatorOptions)));
 }
        private CategoryPanel CreatePage(PageID p)
        {
            CategoryPanel panel = null;

            switch (p)
            {
            case PageID.Display:
                panel = new DisplayOptionPanel();
                break;

            case PageID.Terminal:
                panel = new TerminalOptionPanel();
                break;

            case PageID.Peripheral:
                panel = new PeripheralOptionPanel();
                break;

            case PageID.Command:
                panel = new CommandOptionPanel();
                break;

            case PageID.SSH:
                panel = new SSHOptionPanel();
                break;

            case PageID.Connection:
                panel = new ConnectionOptionPanel();
                break;

            case PageID.Generic:
                panel = new GenericOptionPanel();
                break;
            }

            Debug.Assert(panel != null);
            panel.BorderStyle = BorderStyle.FixedSingle;
            panel.Location    = new Point(_categoryItems.Right + 4, _categoryItems.Top);
            panel.Size        = new Size(this.Width - _categoryItems.Width - 16, _categoryItems.Height);
            return(panel);
        }
Beispiel #4
0
        private CategoryPanel CreatePage(PageID p)
        {
            CategoryPanel panel = null;
            switch(p) {
                case PageID.Display:
                    panel = new DisplayOptionPanel();
                    break;
                case PageID.Terminal:
                    panel = new TerminalOptionPanel();
                    break;
                case PageID.Peripheral:
                    panel = new PeripheralOptionPanel();
                    break;
                case PageID.Command:
                    panel = new CommandOptionPanel();
                    break;
                case PageID.SSH:
                    panel = new SSHOptionPanel();
                    break;
                case PageID.Connection:
                    panel = new ConnectionOptionPanel();
                    break;
                case PageID.Generic:
                    panel = new GenericOptionPanel();
                    break;
            }

            Debug.Assert(panel!=null);
            panel.BorderStyle = BorderStyle.FixedSingle;
            panel.Location = new Point(_categoryItems.Right + 4, _categoryItems.Top);
            panel.Size = new Size(this.Width - _categoryItems.Width - 16, _categoryItems.Height);
            return panel;
        }
 public override void Dispose() {
     if (_panel != null) {
         _panel.Dispose();
         _panel = null;
     }
 }
 public override void InitiUI(IPreferenceFolder[] values) {
     if (_panel == null)
         _panel = new DisplayOptionPanel();
     _panel.InitUI((ITerminalEmulatorOptions)values[0].QueryAdapter(typeof(ITerminalEmulatorOptions)));
 }