let add_doc_bookmark s = let l = Cam_misc.list_remove_doubles (doc_bookmarks#get @ [s]) in doc_bookmarks#set l; Cam_rc.save_gui ()