let
handle_error f p def =
try
f p
with
Failure
s
->
GToolbox
.message_box
M
.error s; def