Blame examples_camltk/helloworld.ml
|
Packit |
bd2e5d |
(***********************************************************************)
|
|
Packit |
bd2e5d |
(* *)
|
|
Packit |
bd2e5d |
(* MLTk, Tcl/Tk interface of OCaml *)
|
|
Packit |
bd2e5d |
(* *)
|
|
Packit |
bd2e5d |
(* Francois Rouaix, Francois Pessaux, Jun Furuse and Pierre Weis *)
|
|
Packit |
bd2e5d |
(* projet Cristal, INRIA Rocquencourt *)
|
|
Packit |
bd2e5d |
(* Jacques Garrigue, Kyoto University RIMS *)
|
|
Packit |
bd2e5d |
(* *)
|
|
Packit |
bd2e5d |
(* Copyright 2002 Institut National de Recherche en Informatique et *)
|
|
Packit |
bd2e5d |
(* en Automatique and Kyoto University. All rights reserved. *)
|
|
Packit |
bd2e5d |
(* This file is distributed under the terms of the GNU Library *)
|
|
Packit |
bd2e5d |
(* General Public License, with the special exception on linking *)
|
|
Packit |
bd2e5d |
(* described in file LICENSE found in the OCaml source tree. *)
|
|
Packit |
bd2e5d |
(* *)
|
|
Packit |
bd2e5d |
(***********************************************************************)
|
|
Packit |
bd2e5d |
|
|
Packit |
bd2e5d |
(* Make interface functions available *)
|
|
Packit |
bd2e5d |
open Camltk;;
|
|
Packit |
bd2e5d |
|
|
Packit |
bd2e5d |
(* Initialisation of the interface. *)
|
|
Packit |
bd2e5d |
let top = opentk ();;
|
|
Packit |
bd2e5d |
(* top is now the toplevel widget. *)
|
|
Packit |
bd2e5d |
|
|
Packit |
bd2e5d |
(* Widget initialisation *)
|
|
Packit |
bd2e5d |
let b =
|
|
Packit |
bd2e5d |
Button.create top [
|
|
Packit |
bd2e5d |
Text "foobar";
|
|
Packit |
bd2e5d |
Command
|
|
Packit |
bd2e5d |
(function () ->
|
|
Packit |
bd2e5d |
print_string "foobar";
|
|
Packit |
bd2e5d |
print_newline ();
|
|
Packit |
bd2e5d |
flush stdout);
|
|
Packit |
bd2e5d |
]
|
|
Packit |
bd2e5d |
;;
|
|
Packit |
bd2e5d |
(* Now button [b] exists but is not yet visible. *)
|
|
Packit |
bd2e5d |
|
|
Packit |
bd2e5d |
let q =
|
|
Packit |
bd2e5d |
Button.create top [
|
|
Packit |
bd2e5d |
Text "quit";
|
|
Packit |
bd2e5d |
Command closeTk;
|
|
Packit |
bd2e5d |
]
|
|
Packit |
bd2e5d |
;;
|
|
Packit |
bd2e5d |
(* Button [q] also exists but is not yet visible. *)
|
|
Packit |
bd2e5d |
|
|
Packit |
bd2e5d |
(* Make b and q visible. *)
|
|
Packit |
bd2e5d |
pack [b; q] [];;
|
|
Packit |
bd2e5d |
|
|
Packit |
bd2e5d |
(* Start user interaction. *)
|
|
Packit |
bd2e5d |
mainLoop ();;
|
|
Packit |
bd2e5d |
(* You can also quit this program by deleting its main window. *)
|