package lablgtk3-sourceview3
OCaml interface to GTK+ gtksourceview library
Install
Dune Dependency
Authors
Maintainers
Sources
lablgtk3-3.0.beta7.tbz
sha256=d8649337faa63d6132d7af4582db835653b142cdf7ca3e23633bcd2e055bb80f
sha512=54fafe132386c5475102a69ff96669930a5cc454934d61d53becde0bfb8515934aa7b2424d917c0f27115cc39afd8b3172080f3a43db5f314ef3bec7b59d0168
doc/lablgtk3-sourceview3/GSourceView3/index.html
Module GSourceView3
GtkSourceView interface
GtkSourceStyleScheme
class source_style_scheme : GtkSourceView3_types.source_style_scheme Gtk.obj -> object ... endGtkSourceStyleSchemeManager
class source_style_scheme_manager : GtkSourceView3_types.source_style_scheme_manager Gtk.obj -> object ... endval source_style_scheme_manager : default:bool -> source_style_scheme_managerGtkSourceCompletionInfo
class source_completion_info_signals : GtkSourceView3_types.source_completion_info as 'b Gtk.obj -> object ... endclass source_completion_info : [> GtkSourceView3_types.source_completion_info ] as 'a Gtk.obj -> object ... endGtkSourceCompletionProposal
class source_completion_proposal_signals : GtkSourceView3_types.source_completion_proposal Gtk.obj -> object ... endclass source_completion_proposal : GtkSourceView3_types.source_completion_proposal Gtk.obj -> object ... endclass source_completion_item : GtkSourceView3_types.source_completion_proposal Gtk.obj -> object ... endval source_completion_item :
?label:string ->
?text:string ->
?icon:GdkPixbuf.pixbuf ->
?info:string ->
unit ->
source_completion_itemval source_completion_item_with_markup :
?label:string ->
?text:string ->
?icon:GdkPixbuf.pixbuf ->
?info:string ->
unit ->
source_completion_itemval source_completion_item_from_stock :
?label:string ->
?text:string ->
stock:GtkStock.id ->
info:string ->
unit ->
source_completion_itemGtkSourceCompletionProvider
class source_completion_provider : GtkSourceView3_types.source_completion_provider Gtk.obj -> object ... endGtkSourceCompletionContext
class source_completion_context_signals : GtkSourceView3_types.source_completion_context Gtk.obj -> object ... endclass source_completion_context : GtkSourceView3_types.source_completion_context Gtk.obj -> object ... endclass type custom_completion_provider = object ... endval source_completion_provider :
custom_completion_provider ->
source_completion_providerGtkSourceCompletion
class source_completion_signals : GtkSourceView3_types.source_completion Gtk.obj -> object ... endclass source_completion : GtkSourceView3_types.source_completion Gtk.obj -> object ... endGtkSourceLanguage
class source_language : GtkSourceView3_types.source_language Gtk.obj -> object ... endGtkSourceLanguageManager
class source_language_manager : GtkSourceView3_types.source_language_manager Gtk.obj -> object ... endval source_language_manager : default:bool -> source_language_managerGtkSourceMark
class source_mark : GtkSourceView3_types.source_mark Gtk.obj as 'a -> object ... endval source_mark : ?category:string -> unit -> source_markclass source_mark_attributes : GtkSourceView3_types.source_mark_attributes Gtk.obj as 'a -> object ... endval source_mark_attributes : unit -> source_mark_attributesGtkSourceUndoManager
class source_undo_manager_signals : GtkSourceView3_types.source_undo_manager as 'b Gtk.obj -> object ... endclass source_undo_manager : GtkSourceView3_types.source_undo_manager as 'b Gtk.obj -> object ... endclass type custom_undo_manager = object ... endval source_undo_manager : custom_undo_manager -> source_undo_managerGtkSourceBuffer
class source_buffer_signals : GtkSourceView3_types.source_buffer as 'b Gtk.obj -> object ... endclass source_buffer : GtkSourceView3_types.source_buffer Gtk.obj -> object ... endval 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_bufferGtkSourceView
class source_view_signals : [> GtkSourceView3_types.source_view ] as 'b Gtk.obj -> object ... endclass source_view : GtkSourceView3_types.source_view Gtk.obj -> object ... endval 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_viewMisc
On This Page
- GtkSourceView interface
- GtkSourceStyleScheme
- GtkSourceStyleSchemeManager
- GtkSourceCompletionInfo
- GtkSourceCompletionProposal
- GtkSourceCompletionProvider
- GtkSourceCompletionContext
- GtkSourceCompletion
- GtkSourceLanguage
- GtkSourceLanguageManager
- GtkSourceMark
- GtkSourceUndoManager
- GtkSourceBuffer
- GtkSourceView
- Misc