Module `Frama_c_gui.GSourceView`Source

include module type of GSourceView3

GtkSourceView interface

GtkSourceStyleScheme

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

GtkSourceStyleSchemeManager

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

Sourceval source_style_scheme_manager : default:bool -> source_style_scheme_manager

GtkSourceCompletionInfo

Sourceclass source_completion_info_signals : GtkSourceView3_types.source_completion_info as 'b Gtk.obj -> object ... end

Sourceclass source_completion_info : [> GtkSourceView3_types.source_completion_info ] as 'a Gtk.obj -> object ... end

GtkSourceCompletionProposal

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

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

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

Source

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

Source

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

Source

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

GtkSourceCompletionProvider

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

GtkSourceCompletionContext

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

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

Sourceclass type custom_completion_provider = object ... end

Source

val source_completion_provider : 
  custom_completion_provider ->
  source_completion_provider

GtkSourceCompletion

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

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

GtkSourceLanguage

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

GtkSourceLanguageManager

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

Sourceval source_language_manager : default:bool -> source_language_manager

GtkSourceMark

Sourceclass source_mark : GtkSourceView3_types.source_mark Gtk.obj as 'a -> object ... end

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

Sourceclass source_mark_attributes : GtkSourceView3_types.source_mark_attributes Gtk.obj as 'a -> object ... end

Sourceval source_mark_attributes : unit -> source_mark_attributes

GtkSourceUndoManager

Sourceclass source_undo_manager_signals : GtkSourceView3_types.source_undo_manager as 'b Gtk.obj -> object ... end

Sourceclass source_undo_manager : GtkSourceView3_types.source_undo_manager as 'b Gtk.obj -> object ... end

Sourceclass type custom_undo_manager = object ... end

Sourceval source_undo_manager : custom_undo_manager -> source_undo_manager

GtkSourceBuffer

Sourceclass source_buffer_signals : GtkSourceView3_types.source_buffer as 'b Gtk.obj -> object ... end

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

Source

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

Sourceclass source_view_signals : [> GtkSourceView3_types.source_view ] as 'b Gtk.obj -> object ... end

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

Source

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

Source

val make_marker_attributes : 
  source:source_view ->
  category:string ->
  priority:int ->
  ?background:Gdk.rgba ->
  ?pixbuf:GdkPixbuf.pixbuf ->
  ?icon_name:string ->
  unit ->
  unit

Install

Dune Dependency

Authors

Maintainers

Sources

doc/frama-c.gui/Frama_c_gui/GSourceView/index.html

Module `Frama_c_gui.GSourceView`Source

GtkSourceView interface

GtkSourceStyleScheme

GtkSourceStyleSchemeManager

GtkSourceCompletionInfo

GtkSourceCompletionProposal

GtkSourceCompletionProvider

GtkSourceCompletionContext

GtkSourceCompletion

GtkSourceLanguage

GtkSourceLanguageManager

GtkSourceMark

GtkSourceUndoManager

GtkSourceBuffer

GtkSourceView

Misc

package frama-c

Install

Dune Dependency

Authors

Maintainers

Sources

doc/frama-c.gui/Frama_c_gui/GSourceView/index.html

Module Frama_c_gui.GSourceViewSource

GtkSourceView interface

GtkSourceStyleScheme

GtkSourceStyleSchemeManager

GtkSourceCompletionInfo

GtkSourceCompletionProposal

GtkSourceCompletionProvider

GtkSourceCompletionContext

GtkSourceCompletion

GtkSourceLanguage

GtkSourceLanguageManager

GtkSourceMark

GtkSourceUndoManager

GtkSourceBuffer

GtkSourceView

Misc

Module `Frama_c_gui.GSourceView`Source