method set_active_view gvopt =
active_view <- gvopt;
key_bindings_trees := Ed_gui_rc.trees_for_window
(match gvopt with None -> [] | Some v -> v#key_bindings);
self#set_view_interface gvopt;
minibuffer#set_active false