- ignore (dialog#interpChoiceOkButton#connect#clicked (fun _ ->
- match !interp_no with None -> () | Some _ -> return ()));
- ignore (dialog#interpChoiceCancelButton#connect#clicked return);
+ connect_button dialog#interpChoiceOkButton (fun _ ->
+ match !interp_no with None -> () | Some _ -> return ());
+ connect_button dialog#interpChoiceCancelButton fail;