Class type Ed_view.topwin


class type topwin = object .. end

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