method set_error_message = function None -> param#wl_error#set_text ""; param#wl_error#misc#hide () | Some s -> param#wl_error#set_text s ; param#wl_error#misc#show ()