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 64f7d6027..ea963decd 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 = |