method set_tab_label c s = match self#tab_of_contents c with None -> () | Some n -> let (w,_) = List.nth tabs n in w#set_text (Ed_misc.to_utf8 (label_of_contents c)); self#set_label s