Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with HTTPS or Subversion.

Download ZIP
Browse files

Merge pull request #109 from cago/master

Fix issue #105
  • Loading branch information...
commit 37b7de2de4d0a5c2e7c597710fb9f0708cd30714 2 parents 7a1f3f9 + b6447e5
@cago cago authored
Showing with 2 additions and 2 deletions.
  1. +2 −2 toplevel/toplevel.ml
View
4 toplevel/toplevel.ml
@@ -525,12 +525,12 @@ let run () =
| _ -> Js._true));
let clear () =
- output_area##innerHTML <- (_s "");
+ output_area##innerHTML <- (_s "\n");
textbox##focus();
textbox##select() in
let reset () =
- output_area##innerHTML <- (_s "");
+ output_area##innerHTML <- (_s "\n");
Toploop.initialize_toplevel_env ();
Toploop.input_name := "";
exec ppf "open Tutorial";
Please sign in to comment.
Something went wrong with that request. Please try again.