aboutsummaryrefslogtreecommitdiff
path: root/main.ml
diff options
context:
space:
mode:
authorSébastien Dailly <sebastien@chimrod.com>2017-11-02 13:34:37 +0100
committerSébastien Dailly <sebastien@chimrod.com>2017-11-06 09:47:52 +0100
commit3bdff980eaf72ea8be3886e8b4463a45cf4e7dc9 (patch)
treebeb1c6a1d7233c81c18bf2969cf4b558c27c0b45 /main.ml
parentd121db88abcf054c2d84ee003edb5791f6a2680e (diff)
Add a representation for the splay tree
Diffstat (limited to 'main.ml')
-rwxr-xr-xmain.ml6
1 files changed, 6 insertions, 0 deletions
diff --git a/main.ml b/main.ml
index 9ecdf84..3b83e85 100755
--- a/main.ml
+++ b/main.ml
@@ -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 *)