method display_state = self#display_modified; self#display_buffer_name ; self#display_encoding ; self#display_location ; self#display_stx_mode ; self#display_mode