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