method set_encoding e =
      file#set_encoding e;
      self#display_encoding