method on_minibuffer_active_change active =
      if active then
        begin
          Okey.reset_state toplevel;
          self#display_keyhit_state ~after_handler: true [];
          key_bindings_trees := Ed_gui_rc.trees_for_window minibuffer#key_bindings
        end
      else
        match active_view with
          None -> () | Some v -> v#grab_focus