method display_state =
      self#display_modified;
      self#display_filename