diff options
Diffstat (limited to 'otherlibs/labltk/examples_camltk/helloworld.ml')
| -rw-r--r-- | otherlibs/labltk/examples_camltk/helloworld.ml | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/otherlibs/labltk/examples_camltk/helloworld.ml b/otherlibs/labltk/examples_camltk/helloworld.ml index b32b515ae..bb99d9dd5 100644 --- a/otherlibs/labltk/examples_camltk/helloworld.ml +++ b/otherlibs/labltk/examples_camltk/helloworld.ml @@ -19,16 +19,16 @@ let top = opentk ();; (* Initialisation of the interface *) (* top is now the toplevel widget *) (* Widget initialisation *) -let b = Button.create top - [Text "foobar"; - Command (function () -> - print_string "foobar"; +let b = Button.create top + [Text "foobar"; + Command (function () -> + print_string "foobar"; print_newline(); flush stdout)];; (* b exists but is not yet visible *) -let q = Button.create top - [Text "quit"; +let q = Button.create top + [Text "quit"; Command closeTk];; (* q exists but is not yet visible *) |