method display_keyhit_state ~after_handler st =
      let s = Ed_keymaps.string_of_state st in
      self#set_state_message s ;
      if not after_handler then
        self#set_action_message ""