blob: 67ee3aa2753e1fc952a7504fb2b700e5046a1e8d (
plain)
1
2
3
4
5
6
7
8
9
10
|
let _ =
Ivyprobe.init ();
let top = Tk.openTk () in
try
ignore (TkIvy.set_up_channel Unix.stdin Ivy.stop (fun _ -> Ivyprobe.read stdin));
TkIvy.main ()
with
End_of_file -> Ivy.stop ()
|