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));
            }
        }
Esempio n. 2
0
 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) {
 }