public override void SetOptions(PluginOptions options)
{
if (options == null) return;
if (!(options is NamespacesOptions)) return;
_options = options as NamespacesOptions;
}
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 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;
}