diff options
Diffstat (limited to 'otherlibs/labltk/browser/jg_menu.ml')
| -rw-r--r-- | otherlibs/labltk/browser/jg_menu.ml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/otherlibs/labltk/browser/jg_menu.ml b/otherlibs/labltk/browser/jg_menu.ml index 5bbba8c79..45cdc0c46 100644 --- a/otherlibs/labltk/browser/jg_menu.ml +++ b/otherlibs/labltk/browser/jg_menu.ml @@ -2,7 +2,7 @@ open Tk -class c :parent ?underline:n[=0] text = object (self) +class c :parent ?(underline:n=0) text = object (self) val pair = let button = Menubutton.create parent :text underline:n in @@ -19,7 +19,7 @@ class c :parent ?underline:n[=0] text = object (self) ?font:string -> ?foreground:color -> ?image:image -> ?state:state -> string -> unit - method add_command ?underline:n[=0] ?:accelerator ?:activebackground + method add_command ?(underline:n=0) ?:accelerator ?:activebackground ?:activeforeground ?:background ?:bitmap ?:command ?:font ?:foreground ?:image ?:state label = Menu.add_command (self#menu) :label underline:n ?:accelerator |