GtkSourceView_types.3o

Langue: en

Version: 286089 (debian - 07/07/09)

Section: 3 (Bibliothèques de fonctions)

Sommaire

NAME

GtkSourceView_types - no description

Module

Module GtkSourceView_types

Documentation

Module GtkSourceView_types
 :  sig end

type source_tag_style = [ `sourcetagstyle ]

type source_tag = [ `sourcetag | `texttag ]

type source_tag_table = [ `sourcetagtable | `texttagtable ]

type source_style_scheme = [ `sourcestylescheme ]

type source_view = [ `container | `gtk | `sourceview | `textview | `widget ]

type source_marker = [ `sourcemarker ]

type source_buffer = [ `sourcebuffer | `textbuffer ]

type source_language = [ `sourcelanguage ]

type source_languages_manager = [ `sourcelanguagesmanager ]