Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with HTTPS or Subversion.

Download ZIP

Loading…

Fix issue #105 #109

Merged
merged 1 commit into from

1 participant

Çagdas Bozman
Çagdas Bozman
Owner

No description provided.

Çagdas Bozman cago merged commit 37b7de2 into from
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Commits on Jan 30, 2013
  1. Çagdas Bozman

    Fix issue #105

    cago authored
This page is out of date. Refresh to see the latest.
Showing with 2 additions and 2 deletions.
  1. +2 −2 toplevel/toplevel.ml
4 toplevel/toplevel.ml
View
@@ -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";
Something went wrong with that request. Please try again.