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 ""