private void Destroy()
{
if (editorPlugin != null)
{
editorPlugin.Dispose();
editorPlugin = null;
}
}
public ObjectEditorView(ObjectEditorPlugin plugin)
: base(plugin.GrtManager)
{
InitializeComponent();
plugin.ContainerForm = this;
Text = plugin.Text;
TabText = plugin.TabText;
SetEditorPlugin(plugin);
}
public ObjectEditorView(ObjectEditorPlugin plugin)
: base(plugin.GrtManager)
{
InitializeComponent();
plugin.ContainerForm = this;
Text = plugin.Text;
TabText = plugin.TabText;
SetEditorPlugin(plugin);
}
public StandaloneWindowPlugin(ObjectEditorPlugin EditorPlugin)
: base(EditorPlugin)
{
InitializeComponent();
Text = EditorPlugin.TabText;
TopLevel = true;
FormBorderStyle = FormBorderStyle.SizableToolWindow;
if (File.Exists("images/icons/MySQLWorkbench.ico"))
Icon= new Icon("images/icons/MySQLWorkbench.ico", new Size(16, 16));
}
public StandaloneWindowPlugin(ObjectEditorPlugin EditorPlugin)
: base(EditorPlugin)
{
InitializeComponent();
Text = EditorPlugin.TabText;
TopLevel = true;
FormBorderStyle = FormBorderStyle.SizableToolWindow;
if (File.Exists("images/icons/MySQLWorkbench.ico"))
{
Icon = new Icon("images/icons/MySQLWorkbench.ico", new Size(16, 16));
}
}
protected void SetEditorPlugin(ObjectEditorPlugin value)
{
editorPlugin = value;
Controls.Clear();
if (editorPlugin != null)
{
// That's quite an ugly hack. Relocate all controls from one DockablePlugin to the other.
while (editorPlugin.Controls.Count > 0)
{
editorPlugin.Controls[0].Parent = this;
}
}
}
private void Destroy()
{
if (editorPlugin != null)
{
editorPlugin.Dispose();
editorPlugin = null;
}
}
protected void SetEditorPlugin(ObjectEditorPlugin value)
{
editorPlugin = value;
Controls.Clear();
if (editorPlugin != null)
{
// That's quite an ugly hack. Relocate all controls from one DockablePlugin to the other.
while (editorPlugin.Controls.Count > 0)
editorPlugin.Controls[0].Parent = this;
}
}
