diff options
Diffstat (limited to 'otherlibs/labltk/browser/jg_button.ml')
| -rw-r--r-- | otherlibs/labltk/browser/jg_button.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/otherlibs/labltk/browser/jg_button.ml b/otherlibs/labltk/browser/jg_button.ml index ea963decd..da3bc1294 100644 --- a/otherlibs/labltk/browser/jg_button.ml +++ b/otherlibs/labltk/browser/jg_button.ml @@ -2,7 +2,7 @@ open Tk -let create_destroyer :parent ?:text[="Ok"] tl = +let create_destroyer :parent ?(:text="Ok") tl = Button.create parent :text command:(fun () -> destroy tl) let add_destroyer ?:text tl = |