method display_encoding = let enc = match file#encoding with None -> "default encoding" | Some s -> s in wl_encoding#set_text (Printf.sprintf " %s " (Ed_misc.to_utf8 enc))