class minibuffer_window : unit -> object .. end
unit ->
object
end
method minibuffer : Ed_minibuffer.minibuffer
Ed_minibuffer.minibuffer
method window : GWindow.window
GWindow.window