method set_editable b =
    if b
    then try self#set_attribute "diasbled" "disabled" with _ -> ()
    else try self#remove_attribute "disabled" with _ -> ()