Markus Mottl avatar Markus Mottl committed 4087372

Revised pretty-printer installation

Comments (0)

Files changed (2)


       let cmd = Printf.sprintf "#install_printer %s;;" printer in
       eval_string cmd && install_printers printers
-let set_defaults () =
-  let cmd =
-    "let lsc = \
-      Lacaml.Io.Context.set_dim_defaults (Some (Lacaml.Io.Context.create 3)); \
-      Lacaml.Io.Toplevel.lsc;;"
-  in
-  eval_string cmd
 let () =
-  if not (install_printers printers && set_defaults ()) then
+  if not (install_printers printers) then
     Format.eprintf "Problem installing LACAML-printers@."
     else n
   let ellipsis_default = ref "..."
-  let vertical_default = ref None
-  let horizontal_default = ref None
+  let vertical_default, horizontal_default =
+    let context = if !Sys.interactive then Some 3 else None in
+    ref context, ref context
   let set_dim_defaults opt_n =
     vertical_default := opt_n;
Tip: Filter by directory path e.g. /media app.js to search for public/media/app.js.
Tip: Use camelCasing e.g. ProjME to search for
Tip: Filter by extension type e.g. /repo .js to search for all .js files in the /repo directory.
Tip: Separate your search with spaces e.g. /ssh pom.xml to search for src/ssh/pom.xml.
Tip: Use ↑ and ↓ arrow keys to navigate and return to view the file.
Tip: You can also navigate files with Ctrl+j (next) and Ctrl+k (previous) and view the file with Ctrl+o.
Tip: You can also navigate files with Alt+j (next) and Alt+k (previous) and view the file with Alt+o.