private void exportLatexToolStripMenuItem_Click(object sender, EventArgs e)
{
var t = Tree;
if (t == null)
{
return;
}
using (var dialog = new SaveFileDialog {
Filter = "Tex (*.tex)|*.tex"
}) {
if (dialog.ShowDialog() != DialogResult.OK)
{
return;
}
string filename = dialog.FileName.ToLower();
var formatter = new SymbolicExpressionTreeLatexFormatter();
File.WriteAllText(filename, formatter.Format(t));
}
}
protected SymbolicExpressionTreeLatexFormatter(SymbolicExpressionTreeLatexFormatter original, Cloner cloner)
: base(original, cloner)
{
}
private void exportLatexToolStripMenuItem_Click(object sender, EventArgs e) {
var t = Tree;
if (t == null) return;
using (var dialog = new SaveFileDialog { Filter = "Tex (*.tex)|*.tex" }) {
if (dialog.ShowDialog() != DialogResult.OK) return;
string filename = dialog.FileName.ToLower();
var formatter = new SymbolicExpressionTreeLatexFormatter();
File.WriteAllText(filename, formatter.Format(t));
}
}
protected SymbolicExpressionTreeLatexFormatter(SymbolicExpressionTreeLatexFormatter original, Cloner cloner)
: base(original, cloner) {
}