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