Ejemplo n.º 1
0
 public override void Dispose()
 {
     if (_panel != null)
     {
         if (_panel.Container == null)
         {
             _panel.Dispose();
         }
         _panel      = null;
         _innerPanel = null;
     }
 }
Ejemplo n.º 2
0
 public override void InitiUI(IPreferenceFolder[] values)
 {
     if (_innerPanel == null)
     {
         _innerPanel = new TerminalOptionPanel();
     }
     if (_panel == null)
     {
         _panel = CreateScrollablePanel(_innerPanel);
     }
     _innerPanel.InitUI((ITerminalEmulatorOptions)values[0].QueryAdapter(typeof(ITerminalEmulatorOptions)));
 }
Ejemplo n.º 3
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);
        }
Ejemplo n.º 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;
        }
Ejemplo n.º 5
0
 public override void Dispose() {
     if (_panel != null) {
         if (_panel.Container == null)
             _panel.Dispose();
         _panel = null;
         _innerPanel = null;
     }
 }
Ejemplo n.º 6
0
 public override void InitiUI(IPreferenceFolder[] values) {
     if (_innerPanel == null)
         _innerPanel = new TerminalOptionPanel();
     if (_panel == null)
         _panel = CreateScrollablePanel(_innerPanel);
     _innerPanel.InitUI((ITerminalEmulatorOptions)values[0].QueryAdapter(typeof(ITerminalEmulatorOptions)));
 }