diff options
Diffstat (limited to 'otherlibs/labltk/jpf/balloon.mli')
-rw-r--r-- | otherlibs/labltk/jpf/balloon.mli | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/otherlibs/labltk/jpf/balloon.mli b/otherlibs/labltk/jpf/balloon.mli new file mode 100644 index 0000000000..32d2365d6d --- /dev/null +++ b/otherlibs/labltk/jpf/balloon.mli @@ -0,0 +1,6 @@ +(* easy balloon help facility *) +open Widget + +val flag : bool ref +val init : unit -> unit +val put : on: 'a widget -> ms: int -> string -> unit |