`sig
class source_style_scheme :
GtkSourceView2_types.source_style_scheme Gtk.obj ->
object
method as_source_style_scheme :
GtkSourceView2_types.source_style_scheme Gtk.obj
method description : string
method name : string
end
class source_style_scheme_manager :
GtkSourceView2_types.source_style_scheme_manager Gtk.obj ->
object
method append_search_path : string -> unit
method force_rescan : unit -> unit
method prepend_search_path : string -> unit
method search_path : string list
method set_search_path : string list -> unit
method style_scheme : string -> GSourceView2.source_style_scheme option
method style_scheme_ids : string list
end
val source_style_scheme_manager :
default:bool -> GSourceView2.source_style_scheme_manager
class source_completion_info_signals :
GtkSourceView2_types.source_completion_info Gtk.obj ->
object ('a)
method add : callback:(GObj.widget -> unit) -> GtkSignal.id
method after : 'a
method before_show : callback:(unit -> unit) -> GtkSignal.id
method destroy : callback:(unit -> unit) -> GtkSignal.id
method notify_border_width : callback:(int -> unit) -> GtkSignal.id
method notify_max_height : callback:(int -> unit) -> GtkSignal.id
method notify_max_width : callback:(int -> unit) -> GtkSignal.id
method notify_resize_mode :
callback:(GtkEnums.resize_mode -> unit) -> GtkSignal.id
method notify_shrink_height : callback:(bool -> unit) -> GtkSignal.id
method notify_shrink_width : callback:(bool -> unit) -> GtkSignal.id
method remove : callback:(GObj.widget -> unit) -> GtkSignal.id
end
class source_completion_info :
([> GtkSourceView2_types.source_completion_info ] as 'a) Gtk.obj ->
object
val obj : 'a Gtk.obj
method accept_focus : bool
method activate_default : unit -> bool
method activate_focus : unit -> bool
method add : GObj.widget -> unit
method add_accel_group : Gtk.accel_group -> unit
method all_children : GObj.widget list
method allow_grow : bool
method allow_shrink : bool
method as_source_completion_info :
GtkSourceView2_types.source_completion_info Gtk.obj
method as_widget : Gtk.widget Gtk.obj
method as_window : Gtk.window Gtk.obj
method border_width : int
method child : GObj.widget
method children : GObj.widget list
method coerce : GObj.widget
method connect : GContainer.container_signals
method decorated : bool
method default_height : int
method default_width : int
method deiconify : unit -> unit
method deletable : bool
method destroy : unit -> unit
method destroy_with_parent : bool
method drag : GObj.drag_ops
method event : GObj.event_ops
method focus : GContainer.focus
method focus_on_map : bool
method fullscreen : unit -> unit
method get_oid : int
method gravity : GdkEnums.gravity
method has_toplevel_focus : bool
method icon : GdkPixbuf.pixbuf option
method icon_name : string
method iconify : unit -> unit
method is_active : bool
method kind : Gtk.Tags.window_type
method max_height : int
method max_width : int
method maximize : unit -> unit
method misc : GObj.misc_ops
method modal : bool
method move : x:int -> y:int -> unit
method opacity : float
method parse_geometry : string -> bool
method position : Gtk.Tags.window_position
method present : unit -> unit
method process_resize : unit -> unit
method remove : GObj.widget -> unit
method resizable : bool
method resize : width:int -> height:int -> unit
method resize_mode : Gtk.Tags.resize_mode
method role : string
method screen : Gdk.screen
method set_accept_focus : bool -> unit
method set_allow_grow : bool -> unit
method set_allow_shrink : bool -> unit
method set_border_width : int -> unit
method set_decorated : bool -> unit
method set_default_height : int -> unit
method set_default_size : width:int -> height:int -> unit
method set_default_width : int -> unit
method set_deletable : bool -> unit
method set_destroy_with_parent : bool -> unit
method set_focus_on_map : bool -> unit
method set_geometry_hints :
?min_size:int * int ->
?max_size:int * int ->
?base_size:int * int ->
?aspect:float * float ->
?resize_inc:int * int ->
?win_gravity:Gdk.Tags.gravity ->
?pos:bool -> ?user_pos:bool -> ?user_size:bool -> GObj.widget -> unit
method set_gravity : Gdk.Tags.gravity -> unit
method set_icon : GdkPixbuf.pixbuf option -> unit
method set_icon_name : string -> unit
method set_max_height : int -> unit
method set_max_width : int -> unit
method set_modal : bool -> unit
method set_opacity : float -> unit
method set_position : Gtk.Tags.window_position -> unit
method set_resizable : bool -> unit
method set_resize_mode : Gtk.Tags.resize_mode -> unit
method set_role : string -> unit
method set_screen : Gdk.screen -> unit
method set_shrink_height : bool -> unit
method set_shrink_width : bool -> unit
method set_sizing :
width:int ->
height:int -> shrink_width:bool -> shrink_height:bool -> unit
method set_skip_pager_hint : bool -> unit
method set_skip_taskbar_hint : bool -> unit
method set_title : string -> unit
method set_transient_for : Gtk.window Gtk.obj -> unit
method set_type_hint : Gdk.Tags.window_type_hint -> unit
method set_urgency_hint : bool -> unit
method set_widget : GObj.widget -> unit
method set_wm_class : string -> unit
method set_wm_name : string -> unit
method show : unit -> unit
method shrink_height : bool
method shrink_width : bool
method skip_pager_hint : bool
method skip_taskbar_hint : bool
method stick : unit -> unit
method title : string
method type_hint : Gdk.Tags.window_type_hint
method unfullscreen : unit -> unit
method unmaximize : unit -> unit
method unstick : unit -> unit
method urgency_hint : bool
method widget : GObj.widget
end
class source_completion_proposal_signals :
GtkSourceView2_types.source_completion_proposal Gtk.obj ->
object ('a)
method after : 'a
method changed : callback:(unit -> unit) -> GtkSignal.id
method notify_icon :
callback:(GdkPixbuf.pixbuf -> unit) -> GtkSignal.id
method notify_info : callback:(string -> unit) -> GtkSignal.id
method notify_label : callback:(string -> unit) -> GtkSignal.id
method notify_markup : callback:(string -> unit) -> GtkSignal.id
method notify_text : callback:(string -> unit) -> GtkSignal.id
end
class source_completion_proposal :
GtkSourceView2_types.source_completion_proposal Gtk.obj ->
object
method as_source_completion_proposal :
GtkSourceView2_types.source_completion_proposal Gtk.obj
method connect : GSourceView2.source_completion_proposal_signals
method icon : GdkPixbuf.pixbuf
method info : string
method label : string
method markup : string
method text : string
end
class source_completion_item :
GtkSourceView2_types.source_completion_proposal Gtk.obj ->
object
method as_source_completion_proposal :
GtkSourceView2_types.source_completion_proposal Gtk.obj
method connect : source_completion_proposal_signals
method icon : GdkPixbuf.pixbuf
method info : string
method label : string
method markup : string
method set_icon : GdkPixbuf.pixbuf -> unit
method set_info : string -> unit
method set_label : string -> unit
method set_markup : string -> unit
method set_text : string -> unit
method text : string
end
val source_completion_item :
?label:string ->
?text:string ->
?icon:GdkPixbuf.pixbuf ->
?info:string -> unit -> GSourceView2.source_completion_item
val source_completion_item_with_markup :
?label:string ->
?text:string ->
?icon:GdkPixbuf.pixbuf ->
?info:string -> unit -> GSourceView2.source_completion_item
val source_completion_item_from_stock :
?label:string ->
?text:string ->
stock:GtkStock.id ->
info:string -> unit -> GSourceView2.source_completion_item
class source_completion_provider :
GtkSourceView2_types.source_completion_provider Gtk.obj ->
object
method activate_proposal :
GSourceView2.source_completion_proposal -> GText.iter -> bool
method activation :
SourceView2Enums.source_completion_activation_flags list
method as_source_completion_provider :
GtkSourceView2_types.source_completion_provider Gtk.obj
method icon : GdkPixbuf.pixbuf option
method info_widget :
GSourceView2.source_completion_proposal -> GObj.widget option
method interactive_delay : int
method matched : GSourceView2.source_completion_context -> bool
method name : string
method populate : GSourceView2.source_completion_context -> unit
method priority : int
method start_iter :
GSourceView2.source_completion_context ->
GSourceView2.source_completion_proposal -> GText.iter
method update_info :
GSourceView2.source_completion_proposal ->
GSourceView2.source_completion_info -> unit
end
and source_completion_context_signals :
GtkSourceView2_types.source_completion_context Gtk.obj ->
object ('a)
method after : 'a
method cancelled : callback:(unit -> unit) -> GtkSignal.id
end
and source_completion_context :
GtkSourceView2_types.source_completion_context Gtk.obj ->
object
method activation :
SourceView2Enums.source_completion_activation_flags list
method add_proposals :
GSourceView2.source_completion_provider ->
GSourceView2.source_completion_proposal list -> bool -> unit
method as_source_completion_context :
GtkSourceView2_types.source_completion_context Gtk.obj
method connect : GSourceView2.source_completion_context_signals
method iter : GText.iter
method set_activation :
SourceView2Enums.source_completion_activation_flags list -> unit
method set_iter : GText.iter -> unit
end
class type custom_completion_provider =
object
method activate_proposal :
GSourceView2.source_completion_proposal -> GText.iter -> bool
method activation :
SourceView2Enums.source_completion_activation_flags list
method icon : GdkPixbuf.pixbuf option
method info_widget :
GSourceView2.source_completion_proposal -> GObj.widget option
method interactive_delay : int
method matched : GSourceView2.source_completion_context -> bool
method name : string
method populate : GSourceView2.source_completion_context -> unit
method priority : int
method start_iter :
GSourceView2.source_completion_context ->
GSourceView2.source_completion_proposal -> GText.iter -> bool
method update_info :
GSourceView2.source_completion_proposal ->
GSourceView2.source_completion_info -> unit
end
val source_completion_provider :
GSourceView2.custom_completion_provider ->
GSourceView2.source_completion_provider
class source_completion_signals :
GtkSourceView2_types.source_completion Gtk.obj ->
object ('a)
method activate_proposal : callback:(unit -> unit) -> GtkSignal.id
method after : 'a
method hide : callback:(unit -> unit) -> GtkSignal.id
method move_cursor :
callback:(GtkEnums.scroll_step -> int -> unit) -> GtkSignal.id
method move_page :
callback:(GtkEnums.scroll_step -> int -> unit) -> GtkSignal.id
method notify_accelerators : callback:(int -> unit) -> GtkSignal.id
method notify_auto_complete_delay :
callback:(int -> unit) -> GtkSignal.id
method notify_proposal_page_size :
callback:(int -> unit) -> GtkSignal.id
method notify_provider_page_size :
callback:(int -> unit) -> GtkSignal.id
method notify_remember_info_visibility :
callback:(bool -> unit) -> GtkSignal.id
method notify_select_on_show : callback:(bool -> unit) -> GtkSignal.id
method notify_show_headers : callback:(bool -> unit) -> GtkSignal.id
method notify_show_icons : callback:(bool -> unit) -> GtkSignal.id
method populate_context :
callback:(GSourceView2.source_completion_context -> unit) ->
GtkSignal.id
method show : callback:(unit -> unit) -> GtkSignal.id
end
class source_completion :
GtkSourceView2_types.source_completion Gtk.obj ->
object
method accelerators : int
method add_provider : GSourceView2.source_completion_provider -> bool
method as_source_completion :
GtkSourceView2_types.source_completion Gtk.obj
method auto_complete_delay : int
method block_interactive : unit -> unit
method connect : GSourceView2.source_completion_signals
method create_context :
GText.iter -> GSourceView2.source_completion_context
method hide : unit -> unit
method move_window : GText.iter -> unit
method proposal_page_size : int
method provider_page_size : int
method providers : GSourceView2.source_completion_provider list
method remember_info_visibility : bool
method remove_provider :
GSourceView2.source_completion_provider -> bool
method select_on_show : bool
method set_accelerators : int -> unit
method set_auto_complete_delay : int -> unit
method set_proposal_page_size : int -> unit
method set_provider_page_size : int -> unit
method set_remember_info_visibility : bool -> unit
method set_select_on_show : bool -> unit
method set_show_headers : bool -> unit
method set_show_icons : bool -> unit
method show :
GSourceView2.source_completion_provider list ->
GSourceView2.source_completion_context -> bool
method show_headers : bool
method show_icons : bool
method unblock_interactive : unit -> unit
end
class source_language :
GtkSourceView2_types.source_language Gtk.obj ->
object
method as_source_language :
GtkSourceView2_types.source_language Gtk.obj
method globs : string list
method hidden : bool
method id : string
method metadata : string -> string option
method mime_types : string list
method misc : GObj.gobject_ops
method name : string
method section : string
method style_ids : string list
method style_name : string -> string option
end
class source_language_manager :
GtkSourceView2_types.source_language_manager Gtk.obj ->
object
method as_source_language_manager :
GtkSourceView2_types.source_language_manager Gtk.obj
method get_oid : int
method guess_language :
?filename:string ->
?content_type:string -> unit -> GSourceView2.source_language option
method language : string -> GSourceView2.source_language option
method language_ids : string list
method search_path : string list
method set_search_path : string list -> unit
end
val source_language_manager :
default:bool -> GSourceView2.source_language_manager
class source_mark :
GtkSourceView2_types.source_mark Gtk.obj ->
object
method as_source_mark : GtkSourceView2_types.source_mark Gtk.obj
method category : string option
method coerce : GText.mark
method next :
?category:string -> unit -> GSourceView2.source_mark option
method prev :
?category:string -> unit -> GSourceView2.source_mark option
end
val source_mark : ?category:string -> unit -> GSourceView2.source_mark
class source_undo_manager_signals :
GtkSourceView2_types.source_undo_manager Gtk.obj ->
object ('a)
method after : 'a
method can_redo_changed : callback:(unit -> unit) -> GtkSignal.id
method can_undo_changed : callback:(unit -> unit) -> GtkSignal.id
end
class source_undo_manager :
GtkSourceView2_types.source_undo_manager Gtk.obj ->
object
val obj : GtkSourceView2_types.source_undo_manager Gtk.obj
method as_source_undo_manager :
GtkSourceView2_types.source_undo_manager Gtk.obj
method begin_not_undoable_action : unit -> unit
method can_redo : bool
method can_redo_changed : unit -> unit
method can_undo : bool
method can_undo_changed : unit -> unit
method connect : GSourceView2.source_undo_manager_signals
method end_not_undoable_action : unit -> unit
method redo : unit -> unit
method undo : unit -> unit
end
class type custom_undo_manager =
object
method begin_not_undoable_action : unit -> unit
method can_redo : bool
method can_redo_changed : unit -> unit
method can_undo : bool
method can_undo_changed : unit -> unit
method end_not_undoable_action : unit -> unit
method redo : unit -> unit
method undo : unit -> unit
end
val source_undo_manager :
GSourceView2.custom_undo_manager -> GSourceView2.source_undo_manager
class source_buffer_signals :
GtkSourceView2_types.source_buffer Gtk.obj ->
object ('a)
method after : 'a
method apply_tag :
callback:(GText.tag -> start:GText.iter -> stop:GText.iter -> unit) ->
GtkSignal.id
method begin_user_action : callback:(unit -> unit) -> GtkSignal.id
method changed : callback:(unit -> unit) -> GtkSignal.id
method private connect :
'c.
(GtkSourceView2_types.source_buffer, 'c) GtkSignal.t ->
callback:'c -> GtkSignal.id
method delete_range :
callback:(start:GText.iter -> stop:GText.iter -> unit) ->
GtkSignal.id
method end_user_action : callback:(unit -> unit) -> GtkSignal.id
method highlight_updated :
callback:(Gtk.text_iter -> Gtk.text_iter -> unit) -> GtkSignal.id
method insert_child_anchor :
callback:(GText.iter -> Gtk.text_child_anchor -> unit) ->
GtkSignal.id
method insert_pixbuf :
callback:(GText.iter -> GdkPixbuf.pixbuf -> unit) -> GtkSignal.id
method insert_text :
callback:(GText.iter -> string -> unit) -> GtkSignal.id
method mark_deleted : callback:(Gtk.text_mark -> unit) -> GtkSignal.id
method mark_set :
callback:(GText.iter -> Gtk.text_mark -> unit) -> GtkSignal.id
method modified_changed : callback:(unit -> unit) -> GtkSignal.id
method private notify :
'c.
(GtkSourceView2_types.source_buffer, 'c) Gobject.property ->
callback:('c -> unit) -> GtkSignal.id
method notify_can_redo : callback:(bool -> unit) -> GtkSignal.id
method notify_can_undo : callback:(bool -> unit) -> GtkSignal.id
method notify_cursor_position : callback:(int -> unit) -> GtkSignal.id
method notify_has_selection : callback:(bool -> unit) -> GtkSignal.id
method notify_highlight_matching_brackets :
callback:(bool -> unit) -> GtkSignal.id
method notify_highlight_syntax :
callback:(bool -> unit) -> GtkSignal.id
method notify_max_undo_levels : callback:(int -> unit) -> GtkSignal.id
method notify_tag_table :
callback:(Gtk.text_tag_table -> unit) -> GtkSignal.id
method remove_tag :
callback:(GText.tag -> start:GText.iter -> stop:GText.iter -> unit) ->
GtkSignal.id
method source_mark_updated :
callback:(GtkSourceView2_types.source_mark Gtk.obj -> unit) ->
GtkSignal.id
end
and source_buffer :
GtkSourceView2_types.source_buffer Gtk.obj ->
object
val obj : GtkSourceView2_types.source_buffer Gtk.obj
method add_selection_clipboard : GData.clipboard -> unit
method apply_tag :
GText.tag -> start:GText.iter -> stop:GText.iter -> unit
method apply_tag_by_name :
string -> start:GText.iter -> stop:GText.iter -> unit
method as_buffer : Gtk.text_buffer
method as_source_buffer : GtkSourceView2_types.source_buffer Gtk.obj
method backward_iter_to_source_mark :
?category:string -> GText.iter -> bool
method begin_not_undoable_action : unit -> unit
method begin_user_action : unit -> unit
method bounds : GText.iter * GText.iter
method can_redo : bool
method can_undo : bool
method char_count : int
method connect : GSourceView2.source_buffer_signals
method copy_clipboard : GData.clipboard -> unit
method create_child_anchor : GText.iter -> GText.child_anchor
method create_mark :
?name:string -> ?left_gravity:bool -> GText.iter -> Gtk.text_mark
method create_source_mark :
?name:string ->
?category:string -> GText.iter -> GSourceView2.source_mark
method create_tag :
?name:string -> GText.tag_property list -> GText.tag
method cursor_position : int
method cut_clipboard :
?default_editable:bool -> GData.clipboard -> unit
method delete : start:GText.iter -> stop:GText.iter -> unit
method delete_interactive :
start:GText.iter ->
stop:GText.iter -> ?default_editable:bool -> unit -> bool
method delete_mark : GText.mark -> unit
method delete_selection :
?interactive:bool -> ?default_editable:bool -> unit -> bool
method end_iter : GText.iter
method end_not_undoable_action : unit -> unit
method end_user_action : unit -> unit
method ensure_highlight : start:GText.iter -> stop:GText.iter -> unit
method forward_iter_to_source_mark :
?category:string -> GText.iter -> bool
method get_iter : GText.position -> GText.iter
method get_iter_at_byte : line:int -> int -> GText.iter
method get_iter_at_char : ?line:int -> int -> GText.iter
method get_iter_at_mark : GText.mark -> GText.iter
method get_mark : GText.mark -> Gtk.text_mark
method get_oid : int
method get_text :
?start:GText.iter ->
?stop:GText.iter -> ?slice:bool -> ?visible:bool -> unit -> string
method has_selection : bool
method highlight_matching_brackets : bool
method highlight_syntax : bool
method insert :
?iter:GText.iter ->
?tag_names:string list -> ?tags:GText.tag list -> string -> unit
method insert_child_anchor : GText.iter -> GText.child_anchor -> unit
method insert_interactive :
?iter:GText.iter -> ?default_editable:bool -> string -> bool
method insert_pixbuf :
iter:GText.iter -> pixbuf:GdkPixbuf.pixbuf -> unit
method insert_range :
iter:GText.iter -> start:GText.iter -> stop:GText.iter -> unit
method insert_range_interactive :
iter:GText.iter ->
start:GText.iter ->
stop:GText.iter -> ?default_editable:bool -> unit -> bool
method iter_backward_to_context_class_toggle :
GText.iter -> string -> bool
method iter_forward_to_context_class_toggle :
GText.iter -> string -> bool
method iter_has_context_class : GText.iter -> string -> bool
method language : GSourceView2.source_language option
method line_count : int
method max_undo_levels : int
method misc : GObj.gobject_ops
method modified : bool
method move_mark : GText.mark -> where:GText.iter -> unit
method paste_clipboard :
?iter:GText.iter -> ?default_editable:bool -> GData.clipboard -> unit
method place_cursor : where:GText.iter -> unit
method redo : unit -> unit
method remove_all_tags : start:GText.iter -> stop:GText.iter -> unit
method remove_selection_clipboard : GData.clipboard -> unit
method remove_source_marks :
?category:string ->
start:GText.iter -> stop:GText.iter -> unit -> unit
method remove_tag :
GText.tag -> start:GText.iter -> stop:GText.iter -> unit
method remove_tag_by_name :
string -> start:GText.iter -> stop:GText.iter -> unit
method select_range : GText.iter -> GText.iter -> unit
method selection_bounds : GText.iter * GText.iter
method set_highlight_matching_brackets : bool -> unit
method set_highlight_syntax : bool -> unit
method set_language : GSourceView2.source_language option -> unit
method set_max_undo_levels : int -> unit
method set_modified : bool -> unit
method set_style_scheme :
GSourceView2.source_style_scheme option -> unit
method set_text : string -> unit
method set_undo_manager : GSourceView2.source_undo_manager -> unit
method source_marks_at_iter :
?category:string -> GText.iter -> GSourceView2.source_mark list
method source_marks_at_line :
?category:string -> int -> GSourceView2.source_mark list
method start_iter : GText.iter
method style_scheme : GSourceView2.source_style_scheme option
method tag_table : Gtk.text_tag_table
method undo : unit -> unit
method undo_manager : GSourceView2.source_undo_manager
end
val source_buffer :
?language:GSourceView2.source_language ->
?style_scheme:GSourceView2.source_style_scheme ->
?tag_table:GText.tag_table ->
?text:string ->
?undo_manager:GSourceView2.source_undo_manager ->
?highlight_matching_brackets:bool ->
?highlight_syntax:bool ->
?max_undo_levels:int -> unit -> GSourceView2.source_buffer
class source_view_signals :
[> GtkSourceView2_types.source_view ] Gtk.obj ->
object ('a)
method after : 'a
method copy_clipboard : callback:(unit -> unit) -> GtkSignal.id
method cut_clipboard : callback:(unit -> unit) -> GtkSignal.id
method delete_from_cursor :
callback:(Gtk.Tags.delete_type -> int -> unit) -> GtkSignal.id
method destroy : callback:(unit -> unit) -> GtkSignal.id
method insert_at_cursor : callback:(string -> unit) -> GtkSignal.id
method line_mark_activated :
callback:(Gtk.text_iter -> GdkEvent.any -> unit) -> GtkSignal.id
method move_cursor :
callback:(Gtk.Tags.movement_step -> int -> extend:bool -> unit) ->
GtkSignal.id
method move_focus :
callback:(Gtk.Tags.direction_type -> unit) -> GtkSignal.id
method move_lines : callback:(bool -> int -> unit) -> GtkSignal.id
method move_words : callback:(int -> unit) -> GtkSignal.id
method notify_accepts_tab : callback:(bool -> unit) -> GtkSignal.id
method notify_auto_indent : callback:(bool -> unit) -> GtkSignal.id
method notify_cursor_visible : callback:(bool -> unit) -> GtkSignal.id
method notify_editable : callback:(bool -> unit) -> GtkSignal.id
method notify_highlight_current_line :
callback:(bool -> unit) -> GtkSignal.id
method notify_indent : callback:(int -> unit) -> GtkSignal.id
method notify_indent_on_tab : callback:(bool -> unit) -> GtkSignal.id
method notify_indent_width : callback:(int -> unit) -> GtkSignal.id
method notify_insert_spaces_instead_of_tabs :
callback:(bool -> unit) -> GtkSignal.id
method notify_justification :
callback:(GtkEnums.justification -> unit) -> GtkSignal.id
method notify_left_margin : callback:(int -> unit) -> GtkSignal.id
method notify_pixels_above_lines :
callback:(int -> unit) -> GtkSignal.id
method notify_pixels_below_lines :
callback:(int -> unit) -> GtkSignal.id
method notify_pixels_inside_wrap :
callback:(int -> unit) -> GtkSignal.id
method notify_right_margin : callback:(int -> unit) -> GtkSignal.id
method notify_right_margin_position :
callback:(int -> unit) -> GtkSignal.id
method notify_show_line_marks : callback:(bool -> unit) -> GtkSignal.id
method notify_show_line_numbers :
callback:(bool -> unit) -> GtkSignal.id
method notify_show_right_margin :
callback:(bool -> unit) -> GtkSignal.id
method notify_smart_home_end :
callback:(SourceView2Enums.source_smart_home_end_type -> unit) ->
GtkSignal.id
method notify_tab_width : callback:(int -> unit) -> GtkSignal.id
method notify_wrap_mode :
callback:(GtkEnums.wrap_mode -> unit) -> GtkSignal.id
method page_horizontally :
callback:(int -> extend:bool -> unit) -> GtkSignal.id
method paste_clipboard : callback:(unit -> unit) -> GtkSignal.id
method populate_popup :
callback:(Gtk.menu Gtk.obj -> unit) -> GtkSignal.id
method redo : callback:(unit -> unit) -> GtkSignal.id
method set_anchor : callback:(unit -> unit) -> GtkSignal.id
method set_scroll_adjustments :
callback:(GData.adjustment option -> GData.adjustment option -> unit) ->
GtkSignal.id
method show_completion : callback:(unit -> unit) -> GtkSignal.id
method smart_home_end :
callback:(Gtk.text_iter -> int -> unit) -> GtkSignal.id
method toggle_overwrite : callback:(unit -> unit) -> GtkSignal.id
method undo : callback:(unit -> unit) -> GtkSignal.id
end
class source_view :
GtkSourceView2_types.source_view Gtk.obj ->
object
val obj : GtkSourceView2_types.source_view Gtk.obj
method accepts_tab : bool
method add_child_at_anchor : GObj.widget -> GText.child_anchor -> unit
method add_child_in_window :
child:GObj.widget ->
which_window:Gtk.Tags.text_window_type -> x:int -> y:int -> unit
method as_view : Gtk.text_view Gtk.obj
method as_widget : Gtk.widget Gtk.obj
method auto_indent : bool
method backward_display_line : GText.iter -> bool
method backward_display_line_start : GText.iter -> bool
method buffer : GText.buffer
method buffer_to_window_coords :
tag:Gtk.Tags.text_window_type -> x:int -> y:int -> int * int
method coerce : GObj.widget
method completion : GSourceView2.source_completion
method connect : GSourceView2.source_view_signals
method cursor_visible : bool
method destroy : unit -> unit
method drag : GObj.drag_ops
method draw_spaces : SourceView2Enums.source_draw_spaces_flags list
method editable : bool
method event : GObj.event_ops
method forward_display_line : GText.iter -> bool
method forward_display_line_end : GText.iter -> bool
method get_border_window_size :
[ `BOTTOM | `LEFT | `RIGHT | `TOP ] -> int
method get_iter_at_location : x:int -> y:int -> GText.iter
method get_iter_location : GText.iter -> Gdk.Rectangle.t
method get_line_at_y : int -> GText.iter * int
method get_line_yrange : GText.iter -> int * int
method get_mark_category_background :
category:string -> Gdk.color option
method get_mark_category_pixbuf :
category:string -> GdkPixbuf.pixbuf option
method get_mark_category_priority : category:string -> int
method get_oid : int
method get_window : Gtk.Tags.text_window_type -> Gdk.window option
method get_window_type : Gdk.window -> Gtk.Tags.text_window_type
method highlight_current_line : bool
method indent : int
method indent_on_tab : bool
method indent_width : int
method insert_spaces_instead_of_tabs : bool
method justification : Gtk.Tags.justification
method left_margin : int
method misc : GObj.misc_ops
method move_child : child:GObj.widget -> x:int -> y:int -> unit
method move_mark_onscreen : GText.mark -> bool
method move_visually : GText.iter -> int -> bool
method pixels_above_lines : int
method pixels_below_lines : int
method pixels_inside_wrap : int
method place_cursor_onscreen : unit -> bool
method right_margin : int
method right_margin_position : int
method scroll_mark_onscreen : GText.mark -> unit
method scroll_to_iter :
?within_margin:float ->
?use_align:bool ->
?xalign:float -> ?yalign:float -> GText.iter -> bool
method scroll_to_mark :
?within_margin:float ->
?use_align:bool ->
?xalign:float -> ?yalign:float -> GText.mark -> unit
method set_accepts_tab : bool -> unit
method set_auto_indent : bool -> unit
method set_border_window_size :
typ:[ `BOTTOM | `LEFT | `RIGHT | `TOP ] -> size:int -> unit
method set_buffer : GText.buffer -> unit
method set_cursor_color : Gdk.color -> unit
method set_cursor_color_by_name : string -> unit
method set_cursor_visible : bool -> unit
method set_draw_spaces :
SourceView2Enums.source_draw_spaces_flags list -> unit
method set_editable : bool -> unit
method set_highlight_current_line : bool -> unit
method set_indent : int -> unit
method set_indent_on_tab : bool -> unit
method set_indent_width : int -> unit
method set_insert_spaces_instead_of_tabs : bool -> unit
method set_justification : Gtk.Tags.justification -> unit
method set_left_margin : int -> unit
method set_mark_category_background :
category:string -> Gdk.color option -> unit
method set_mark_category_pixbuf :
category:string -> GdkPixbuf.pixbuf option -> unit
method set_mark_category_priority : category:string -> int -> unit
method set_pixels_above_lines : int -> unit
method set_pixels_below_lines : int -> unit
method set_pixels_inside_wrap : int -> unit
method set_right_margin : int -> unit
method set_right_margin_position : int -> unit
method set_show_line_marks : bool -> unit
method set_show_line_numbers : bool -> unit
method set_show_right_margin : bool -> unit
method set_smart_home_end :
SourceView2Enums.source_smart_home_end_type -> unit
method set_tab_width : int -> unit
method set_wrap_mode : Gtk.Tags.wrap_mode -> unit
method show_line_marks : bool
method show_line_numbers : bool
method show_right_margin : bool
method smart_home_end : SourceView2Enums.source_smart_home_end_type
method source_buffer : GSourceView2.source_buffer
method starts_display_line : GText.iter -> bool
method tab_width : int
method visible_rect : Gdk.Rectangle.t
method window_to_buffer_coords :
tag:Gtk.Tags.text_window_type -> x:int -> y:int -> int * int
method wrap_mode : Gtk.Tags.wrap_mode
end
val source_view :
?source_buffer:GSourceView2.source_buffer ->
?draw_spaces:SourceView2Enums.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:SourceView2Enums.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 -> GSourceView2.source_view
val iter_forward_search :
GText.iter ->
SourceView2Enums.source_search_flag list ->
start:< as_iter : Gtk.text_iter; .. > ->
stop:< as_iter : Gtk.text_iter; .. > ->
?limit:< as_iter : Gtk.text_iter; .. > ->
string -> (GText.iter * GText.iter) option
val iter_backward_search :
GText.iter ->
SourceView2Enums.source_search_flag list ->
start:< as_iter : Gtk.text_iter; .. > ->
stop:< as_iter : Gtk.text_iter; .. > ->
?limit:< as_iter : Gtk.text_iter; .. > ->
string -> (GText.iter * GText.iter) option
end`