diff options
Diffstat (limited to 'otherlibs/labltk/browser/jg_multibox.mli')
| -rw-r--r-- | otherlibs/labltk/browser/jg_multibox.mli | 23 |
1 files changed, 23 insertions, 0 deletions
diff --git a/otherlibs/labltk/browser/jg_multibox.mli b/otherlibs/labltk/browser/jg_multibox.mli new file mode 100644 index 000000000..fbd1ab13a --- /dev/null +++ b/otherlibs/labltk/browser/jg_multibox.mli @@ -0,0 +1,23 @@ +(* $Id$ *) + +class c : + parent:'a Widget.widget -> cols:int -> + texts:string list -> ?maxheight:int -> ?width:int -> unit -> +object + method cols : int + method texts : string list + method parent : Widget.any Widget.widget + method boxes : Widget.listbox Widget.widget list + method current : int + method init : unit + method recenter : ?aligntop:bool -> int -> unit + method bind_mouse : + events:(Tk.modifier list * Tk.xEvent) list -> + action:(Tk.eventInfo -> index:int -> unit) -> unit + method bind_kbd : + events:(Tk.modifier list * Tk.xEvent) list -> + action:(Tk.eventInfo -> index:int -> unit) -> unit +end + +val add_scrollbar : c -> Widget.scrollbar Widget.widget +val add_completion : ?action:(int -> unit) -> ?wait:int -> c -> unit |