Esempio n. 1
0
        internal void setOptionsPane(XmlNode filterNode)
        {
            mainPanel.Controls.Clear();

            m_optionsPane            = new OptionsPane();
            m_optionsPane.AutoScroll = false;
            m_optionsPane.Width      = this.Width;
            m_optionsPane.Name       = "optionsPane";

            m_optionsPane.Reset();
            foreach (XmlNode childNode in filterNode.ChildNodes)
            {
                m_optionsPane.addOptionControl(childNode);
            }
            m_optionsPane.finishRendering();

//			mainPanel.Width = this.Width - 20;
            mainPanel.Height = m_optionsPane.Height;
//			m_optionsPane.Dock = DockStyle.Fill;

            m_optionsPane.selectionChanged     += new EventHandler(onOptionsSelectionChanged);
            m_optionsPane.defaultButtonClicked += new EventHandler(onDefaultButtonClicked);
            mainPanel.Controls.Add(m_optionsPane);
            this.Height = mainPanel.Height + mainPanel.Location.Y + 10;
        }
        internal void setOptions(string name, string description, XmlNode node)
        {
            m_name = name;

            m_xmlText = "<?xml version=\"1.0\" encoding=\"ISO-8859-1\" standalone=\"yes\"?><" + name + ">\n" + node.InnerXml + "</" + name + ">\n";

            //htmlBrowser.SetHtmlText(m_xmlText);
            htmlBrowser.DisplayHtml(m_xmlText);

            optionsPane.Reset();
            foreach (XmlNode childNode in node.ChildNodes)
            {
                optionsPane.addOptionControl(childNode);
            }
            optionsPane.finishRendering();
            this.Text = description;
        }
Esempio n. 3
0
        internal void setOptionsPane(XmlNode filterNode)
        {
            mainPanel.Controls.Clear();

            m_optionsPane = new OptionsPane();
            m_optionsPane.AutoScroll = false;
            m_optionsPane.Width = this.Width;
            m_optionsPane.Name = "optionsPane";

            m_optionsPane.Reset();
            foreach(XmlNode childNode in filterNode.ChildNodes)
            {
                m_optionsPane.addOptionControl(childNode);
            }
            m_optionsPane.finishRendering();

            //			mainPanel.Width = this.Width - 20;
            mainPanel.Height = m_optionsPane.Height;
            //			m_optionsPane.Dock = DockStyle.Fill;

            m_optionsPane.selectionChanged += new EventHandler(onOptionsSelectionChanged);
            m_optionsPane.defaultButtonClicked += new EventHandler(onDefaultButtonClicked);
            mainPanel.Controls.Add(m_optionsPane);
            this.Height = mainPanel.Height + mainPanel.Location.Y + 10;
        }