diff options
author | Sébastien Dailly <sebastien@chimrod.com> | 2017-11-02 13:34:37 +0100 |
---|---|---|
committer | Sébastien Dailly <sebastien@chimrod.com> | 2017-11-06 09:47:52 +0100 |
commit | 3bdff980eaf72ea8be3886e8b4463a45cf4e7dc9 (patch) | |
tree | beb1c6a1d7233c81c18bf2969cf4b558c27c0b45 /main.ml | |
parent | d121db88abcf054c2d84ee003edb5791f6a2680e (diff) |
Add a representation for the splay tree
Diffstat (limited to 'main.ml')
-rwxr-xr-x | main.ml | 6 |
1 files changed, 6 insertions, 0 deletions
@@ -215,6 +215,12 @@ and command (t, screen) action = begin | ("w", file) -> (* Save the file *) Odf.save t.Sheet.data file; normal_mode @@ redraw t screen + | ("repr", file) -> (* Save the file *) + let out_gv = open_out_bin file in + let form = Format.formatter_of_out_channel out_gv in + Evaluator.repr form (Evaluator.get_catalog ()); + close_out out_gv; + normal_mode @@ redraw t screen | ("enew", _) -> (* Start a new spreadsheet *) normal_mode @@ redraw (Sheet.create Sheet.Raw.empty) screen | ("q", _) -> (* Quit *) |