method display_buffer_name =
      wl_file#set_text (utf8_of_filename file#name)