diff options
Diffstat (limited to 'otherlibs/labltk/browser/jg_message.ml')
| -rw-r--r-- | otherlibs/labltk/browser/jg_message.ml | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/otherlibs/labltk/browser/jg_message.ml b/otherlibs/labltk/browser/jg_message.ml index 0de81640f..30d8d8154 100644 --- a/otherlibs/labltk/browser/jg_message.ml +++ b/otherlibs/labltk/browser/jg_message.ml @@ -84,7 +84,8 @@ let ask ~title ?master text = ~command:(fun () -> r := `yes; destroy tl) and refuse = Button.create fw ~text:"No" ~command:(fun () -> r := `no; destroy tl) - and cancel = Jg_button.create_destroyer tl ~parent:fw ~text:"Cancel" + and cancel = Button.create fw ~text:"Cancel" + ~command:(fun () -> r := `cancel; destroy tl) in bind tl ~events:[`Destroy] ~extend:true ~action:(fun _ -> Textvariable.set sync "1"); |