class type topwin = object .. end
object
end
method set_active_view : gui_view option -> unit
gui_view option -> unit
method active_view : gui_view option
gui_view option
method minibuffer : Ed_minibuffer.minibuffer
Ed_minibuffer.minibuffer
method contains_view : gui_view -> bool
gui_view -> bool