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