public static string MakeFormattedText(ITheoryElement element) { StringBuilder strBuilder = new StringBuilder(); strBuilder.AppendLine(LanguageResource.currentDictionary[element.GetTheoryType().ToString()]); strBuilder.AppendLine(" " + element.Formulation.Replace("\n", "\n ")); if (element is Theorem) { strBuilder.AppendLine(LanguageResource.currentDictionary["proof"]); strBuilder.AppendLine(" " + ((Theorem)element).Proof.Replace("\n", "\n ")); } strBuilder.AppendLine(); return strBuilder.ToString(); }
public CreateElementPanel(ITheoryElement element, List<ITheoryElement> basis, Core.Session session, TheoryTree tree) { InitializeComponent(); this.element = element; this.basis = basis; this.currentSession = session; this.type = element.GetTheoryType(); this.tree = tree; TheoryTypeBox.Text = type.ToString(); LinksItemBox.ItemsSource = basis; FormulationTextBox.Text = element.Formulation; TemplateTextBox.Text = element.Template; if (element is Theorem) ProofTextBox.Text = ((Theorem)element).Proof; mod = Mods.Edit; LanguageResource.Updated += new Updated(LanguageResource_Updated); Update(); LanguageResource_Updated(null); }