public override void SetOptions(PluginOptions options)
        {
            if (options == null) return;
            if (!(options is NamespacesOptions)) return;

            _options = options as NamespacesOptions;
        }
Exemple #2
0
        public virtual void SetOptions(PluginOptions options)
        {
            if (options == null)
            {
                BaseDiagramOptions o = new BaseDiagramOptions(this.GetID());
                options = (PluginOptions)o;
            }

            if (options is BaseDiagramOptions)
            {
                _options = (BaseDiagramOptions)options;
                showMultipleEdgesToolStripMenuItem.Checked             = _options.MultipleEdges;
                showMultipleEgdesAsThickLinesToolStripMenuItem.Checked = _options.ThickenEdges;
                useLeftToRightLayoutToolStripMenuItem.Checked          = _options.LeftToRight;
                showOrphanNodesToolStripMenuItem.Checked = _options.ShowOrphans;

                if (_options.PanelWidth <= 0 || _options.PanelWidth > 500)
                {
                    _options.PanelWidth = 100;
                }

                panel2.Width = _options.PanelWidth;
                _sidePanel.AutoRefreshCheckBox.Checked = _options.AutoRefresh;
            }
            else
            {
                _logView.LogStr("Warning : SetOptions reports invalid options type : " + options.GetType());
            }
        }
Exemple #3
0
        public virtual void SetOptions(PluginOptions options)
        {
            if (options == null)
            {
                BaseDiagramOptions o = new BaseDiagramOptions(this.GetID());
                options = (PluginOptions)o;
            }

            if (options is BaseDiagramOptions)
            {
                _options = (BaseDiagramOptions)options;
                showMultipleEdgesToolStripMenuItem.Checked = _options.MultipleEdges;
                showMultipleEgdesAsThickLinesToolStripMenuItem.Checked = _options.ThickenEdges;
                useLeftToRightLayoutToolStripMenuItem.Checked = _options.LeftToRight;
                showOrphanNodesToolStripMenuItem.Checked = _options.ShowOrphans;

                if (_options.PanelWidth <= 0 || _options.PanelWidth > 500) _options.PanelWidth = 100;

                panel2.Width = _options.PanelWidth;
                _sidePanel.AutoRefreshCheckBox.Checked = _options.AutoRefresh;

            }
            else
            {
                _logView.LogStr("Warning : SetOptions reports invalid options type : " + options.GetType());
            }
        }
        public void SetOptions(PluginOptions options)
        {
            if (options == null) return;
            if (!(options is JSParserOptions)) return;

            _options = options as JSParserOptions;
        }