package chamo

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

Module Chamo.OutputsSource

A window to display various output boxes with tabs.

Sourceclass type output = object ... end

The class of objects which can be added to an "outputs" window.

Sourceclass outputs : ?on_destroy:(unit -> unit) -> unit -> object ... end

An object to represent an "outputs" window. It consists of a notebook where "output" object can be added in tabs.

Sourceval outputs : unit -> outputs

This function returns the outputs window, creating if it does not exist.

Sourceclass text_output : ?on_destroy:(unit -> unit) -> string -> object ... end

This class defines an output to show command executions (typically compilation commands) in a GSourceView2.source_view widget.