public ElementWindow(ITheoryElement element, List<ITheoryElement> basis, Core.Session session, Core.TheoryTree tree)
{
InitializeComponent();
CreateElementPanel panel = new CreateElementPanel(element, basis, session, tree);
panel.Accepted += new Protsenko.TheoryEditor.Core.Events.Accepted(panel_Accepted);
this.Name = "createElement";
LanguageResource_Updated("");
this.Content = panel;
LanguageResource.Updated += new Protsenko.TheoryEditor.Core.Events.Updated(LanguageResource_Updated);
this.ShowDialog();
}
public ElementWindow(Core.Session session)
{
InitializeComponent();
CreateElementPanel panel = new CreateElementPanel(session);
panel.Accepted += new Protsenko.TheoryEditor.Core.Events.Accepted(panel_Accepted);
this.Name = "createElement";
LanguageResource_Updated("");
this.Content = panel;
LanguageResource.Updated +=new Protsenko.TheoryEditor.Core.Events.Updated(LanguageResource_Updated);
this.ShowDialog();
}