|
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 |
open Camltk;;
|
|
Packit |
bd2e5d |
|
|
Packit |
bd2e5d |
let win = opentk();;
|
|
Packit |
bd2e5d |
|
|
Packit |
bd2e5d |
let cvs = Canvas.create win [];;
|
|
Packit |
bd2e5d |
|
|
Packit |
bd2e5d |
let t = Label.create cvs [Text "File name"];;
|
|
Packit |
bd2e5d |
|
|
Packit |
bd2e5d |
let b =
|
|
Packit |
bd2e5d |
Button.create cvs
|
|
Packit |
bd2e5d |
[Text "Save";
|
|
Packit |
bd2e5d |
Command
|
|
Packit |
bd2e5d |
(function _ ->
|
|
Packit |
bd2e5d |
let s =
|
|
Packit |
bd2e5d |
getSaveFile
|
|
Packit |
bd2e5d |
[Title "SAVE FILE TEST";
|
|
Packit |
bd2e5d |
DefaultExtension ".foo";
|
|
Packit |
bd2e5d |
FileTypes [ { typename= "just test";
|
|
Packit |
bd2e5d |
extensions= [".foo"; ".test"];
|
|
Packit |
bd2e5d |
mactypes= ["FOOO"; "BARR"] } ];
|
|
Packit |
bd2e5d |
InitialDir Filename.temp_dir_name;
|
|
Packit |
bd2e5d |
InitialFile "hogehoge" ] in
|
|
Packit |
bd2e5d |
Label.configure t [Text s])];;
|
|
Packit |
bd2e5d |
|
|
Packit |
bd2e5d |
let bb =
|
|
Packit |
bd2e5d |
Button.create cvs
|
|
Packit |
bd2e5d |
[Text "Open";
|
|
Packit |
bd2e5d |
Command
|
|
Packit |
bd2e5d |
(function _ ->
|
|
Packit |
bd2e5d |
let s = getOpenFile [] in
|
|
Packit |
bd2e5d |
Label.configure t [Text s])];;
|
|
Packit |
bd2e5d |
|
|
Packit |
bd2e5d |
let q =
|
|
Packit |
bd2e5d |
Button.create cvs
|
|
Packit |
bd2e5d |
[Text "Quit";
|
|
Packit |
bd2e5d |
Command
|
|
Packit |
bd2e5d |
(function _ -> closeTk (); exit 0)];;
|
|
Packit |
bd2e5d |
|
|
Packit |
bd2e5d |
pack [cvs; q; bb; b; t] [];;
|
|
Packit |
bd2e5d |
|
|
Packit |
bd2e5d |
mainLoop ();;
|