set temporary file for external editor

2015-10-29 09:55:31 +00:00 · 2015-10-29 09:55:31 +00:00 · 8d104762ce
parent 2a8762c0f7
commit 8d104762ce
1 changed files with 3 additions and 0 deletions
--- a/src/lib/uTop_main.cppo.ml
+++ b/src/lib/uTop_main.cppo.ml
@ -143,6 +143,9 @@ class read_phrase ~term = object(self)
  inherit [Parsetree.toplevel_phrase UTop.result * string] LTerm_read_line.engine ~history:(LTerm_history.contents UTop.history) () as super
  inherit [Parsetree.toplevel_phrase UTop.result * string] LTerm_read_line.term term as super_term

+  method create_temporary_file_for_external_editor =
+    Filename.temp_file "utop" ".ml"
+
  val mutable return_value = None

  method eval =