Module GSourceView3

module GSourceView3: sig .. end

GtkSourceStyleScheme

class source_style_scheme : GtkSourceView3_types.source_style_scheme Gtk.obj -> object .. end

GtkSourceStyleSchemeManager

class source_style_scheme_manager : GtkSourceView3_types.source_style_scheme_manager Gtk.obj -> object .. end

val source_style_scheme_manager : default:bool -> source_style_scheme_manager

GtkSourceCompletionInfo

class source_completion_info_signals : GtkSourceView3_types.source_completion_info Gtk.obj -> object .. end

class source_completion_info : [> GtkSourceView3_types.source_completion_info ] Gtk.obj -> object .. end

GtkSourceCompletionProposal

class source_completion_proposal_signals : GtkSourceView3_types.source_completion_proposal Gtk.obj -> object .. end

class source_completion_proposal : GtkSourceView3_types.source_completion_proposal Gtk.obj -> object .. end

class source_completion_item : GtkSourceView3_types.source_completion_proposal Gtk.obj -> object .. end

val source_completion_item : ?label:string ->
       ?text:string ->
       ?icon:GdkPixbuf.pixbuf ->
       ?info:string -> unit -> source_completion_item

val source_completion_item_with_markup : ?label:string ->
       ?text:string ->
       ?icon:GdkPixbuf.pixbuf ->
       ?info:string -> unit -> source_completion_item

val source_completion_item_from_stock : ?label:string ->
       ?text:string ->
       stock:GtkStock.id ->
       info:string -> unit -> source_completion_item

GtkSourceCompletionProvider

class source_completion_provider : GtkSourceView3_types.source_completion_provider Gtk.obj -> object .. end

GtkSourceCompletionContext

class source_completion_context_signals : GtkSourceView3_types.source_completion_context Gtk.obj -> object .. end

class source_completion_context : GtkSourceView3_types.source_completion_context Gtk.obj -> object .. end

class type custom_completion_provider = object .. end

val source_completion_provider : custom_completion_provider ->
       source_completion_provider

GtkSourceCompletion

class source_completion_signals : GtkSourceView3_types.source_completion Gtk.obj -> object .. end

class source_completion : GtkSourceView3_types.source_completion Gtk.obj -> object .. end

GtkSourceLanguage

class source_language : GtkSourceView3_types.source_language Gtk.obj -> object .. end

GtkSourceLanguageManager

class source_language_manager : GtkSourceView3_types.source_language_manager Gtk.obj -> object .. end

val source_language_manager : default:bool -> source_language_manager

GtkSourceMark

class source_mark : GtkSourceView3_types.source_mark Gtk.obj -> object .. end

val source_mark : ?category:string -> unit -> source_mark

GtkSourceUndoManager

class source_undo_manager_signals : GtkSourceView3_types.source_undo_manager Gtk.obj -> object .. end

class source_undo_manager : GtkSourceView3_types.source_undo_manager Gtk.obj -> object .. end

class type custom_undo_manager = object .. end

val source_undo_manager : custom_undo_manager -> source_undo_manager

GtkSourceBuffer

class source_buffer_signals : GtkSourceView3_types.source_buffer Gtk.obj -> object .. end

class source_buffer : GtkSourceView3_types.source_buffer Gtk.obj -> object .. end

val source_buffer : ?language:source_language ->
       ?style_scheme:source_style_scheme ->
       ?tag_table:GText.tag_table ->
       ?text:string ->
       ?undo_manager:source_undo_manager ->
       ?highlight_matching_brackets:bool ->
       ?highlight_syntax:bool ->
       ?max_undo_levels:int -> unit -> source_buffer

GtkSourceView

class source_view_signals : [> GtkSourceView3_types.source_view ] Gtk.obj -> object .. end

class source_view : GtkSourceView3_types.source_view Gtk.obj -> object .. end

val source_view : ?source_buffer:source_buffer ->
       ?draw_spaces:SourceView3Enums.source_draw_spaces_flags list ->
       ?auto_indent:bool ->
       ?highlight_current_line:bool ->
       ?indent_on_tab:bool ->
       ?indent_width:int ->
       ?insert_spaces_instead_of_tabs:bool ->
       ?right_margin_position:int ->
       ?show_line_marks:bool ->
       ?show_line_numbers:bool ->
       ?show_right_margin:bool ->
       ?smart_home_end:SourceView3Enums.source_smart_home_end_type ->
       ?tab_width:int ->
       ?editable:bool ->
       ?cursor_visible:bool ->
       ?justification:GtkEnums.justification ->
       ?wrap_mode:GtkEnums.wrap_mode ->
       ?accepts_tab:bool ->
       ?border_width:int ->
       ?width:int ->
       ?height:int ->
       ?packing:(GObj.widget -> unit) ->
       ?show:bool -> unit -> source_view

Misc