diff options
Diffstat (limited to 'otherlibs/labltk/builtin/dialog.mli')
| -rw-r--r-- | otherlibs/labltk/builtin/dialog.mli | 24 |
1 files changed, 0 insertions, 24 deletions
diff --git a/otherlibs/labltk/builtin/dialog.mli b/otherlibs/labltk/builtin/dialog.mli deleted file mode 100644 index debb6ce207..0000000000 --- a/otherlibs/labltk/builtin/dialog.mli +++ /dev/null @@ -1,24 +0,0 @@ -##ifdef CAMLTK - -val create : ?name: string -> - widget -> string -> string -> bitmap -> int -> string list -> int - (* [create ~name parent title message bitmap default button_names] - cf. tk_dialog *) - -val create_named : - widget -> string -> string -> string -> bitmap -> int -> string list -> int - (* [create_named parent name title message bitmap default button_names] - cf. tk_dialog *) - -##else - -val create : - parent: 'a widget -> - title: string -> - message: string -> - buttons: string list -> - ?name: string -> ?bitmap: bitmap -> ?default: int -> unit ->int - (* [create title message bitmap default button_names parent] - cf. tk_dialog *) - -##endif |