object
  method active_view : Ed_view.gui_view option
  method contains_view : Ed_view.gui_view -> bool
  method minibuffer : Ed_minibuffer.minibuffer
  method set_active_view : Ed_view.gui_view option -> unit
end