package chamo

  1. Overview
  2. Docs
package chamo
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Class type View.topwinSource

method set_active_view : gui_view option -> unit
method active_view : gui_view option
method minibuffer : Chamo.Minibuffer.minibuffer
method contains_view : gui_view -> bool
method update_menus : unit