- ignore (win#browserUri#connect#activate (fun () ->
- self#_loadUri win#browserUri#text));
- ignore (win#browserHomeButton#connect#clicked (fun () ->
- self#_loadUri current_proof_uri));
- ignore (win#browserRefreshButton#connect#clicked self#refresh);
- ignore (win#browserBackButton#connect#clicked self#back);
- ignore (win#browserForwardButton#connect#clicked self#forward);
+ ignore (win#browserUri#connect#activate (handle_error' (fun () ->
+ self#_loadUri win#browserUri#text)));
+ ignore (win#browserHomeButton#connect#clicked (handle_error' (fun () ->
+ self#_loadUri current_proof_uri)));
+ ignore (win#browserRefreshButton#connect#clicked
+ (handle_error' self#refresh));
+ ignore (win#browserBackButton#connect#clicked (handle_error' self#back));
+ ignore (win#browserForwardButton#connect#clicked
+ (handle_error' self#forward));