Frama-C:
Plug-ins:
Libraries:

Frama-C API - source_view

val obj : GtkSourceView3_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 app_paintable : bool
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 bottom_margin : int
method buffer : GText.buffer
method buffer_to_window_coords : tag:Gtk.Tags.text_window_type -> x:int -> y:int -> int * int
method can_default : bool
method can_focus : bool
method coerce : GObj.widget
method completion : source_completion
method composite_child : bool
method connect : source_view_signals
method cursor_visible : bool
method destroy : unit -> unit
method drag : GObj.drag_ops
method draw_spaces : SourceView3Enums.source_draw_spaces_flags list
method editable : bool
method event : GObj.event_ops
method events : GdkEnums.event_mask list
method expand : bool
method focus_on_click : bool
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_attributes : category:string -> source_mark_attributes option
method get_mark_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 hadjustment : GData.adjustment
method halign : GtkEnums.align
method has_default : bool
method has_focus : bool
method has_tooltip : bool
method height_request : int
method hexpand : bool
method hexpand_set : bool
method highlight_current_line : bool
method im_module : string
method indent : int
method indent_on_tab : bool
method indent_width : int
method input_hints : GtkEnums.input_hints
method input_purpose : GtkEnums.input_purpose
method insert_spaces_instead_of_tabs : bool
method is_focus : bool
method justification : Gtk.Tags.justification
method left_margin : int
method margin : int
method margin_bottom : int
method margin_end : int
method margin_left : int
method margin_right : int
method margin_start : int
method margin_top : int
method misc : GObj.misc_ops
method monospace : bool
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 name : string
method no_show_all : bool
method opacity : float
method overwrite : bool
method parent : Gtk.container Gtk.obj option
method pixels_above_lines : int
method pixels_below_lines : int
method pixels_inside_wrap : int
method place_cursor_onscreen : unit -> bool
method populate_all : bool
method receives_default : bool
method right_margin : int
method right_margin_position : int
method scale_factor : 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 sensitive : bool
method set_accepts_tab : bool -> unit
method set_app_paintable : bool -> unit
method set_auto_indent : bool -> unit
method set_border_window_size : typ:[ `BOTTOM | `LEFT | `RIGHT | `TOP ] -> size:int -> unit
method set_bottom_margin : int -> unit
method set_buffer : GText.buffer -> unit
method set_can_default : bool -> unit
method set_can_focus : bool -> unit
method set_cursor_color : Gdk.color -> unit
method set_cursor_visible : bool -> unit
method set_draw_spaces : SourceView3Enums.source_draw_spaces_flags list -> unit
method set_editable : bool -> unit
method set_events : GdkEnums.event_mask list -> unit
method set_expand : bool -> unit
method set_focus_on_click : bool -> unit
method set_hadjustment : GData.adjustment -> unit
method set_halign : GtkEnums.align -> unit
method set_has_default : bool -> unit
method set_has_focus : bool -> unit
method set_has_tooltip : bool -> unit
method set_height_request : int -> unit
method set_hexpand : bool -> unit
method set_hexpand_set : bool -> unit
method set_highlight_current_line : bool -> unit
method set_im_module : string -> unit
method set_indent : int -> unit
method set_indent_on_tab : bool -> unit
method set_indent_width : int -> unit
method set_input_hints : GtkEnums.input_hints -> unit
method set_input_purpose : GtkEnums.input_purpose -> unit
method set_insert_spaces_instead_of_tabs : bool -> unit
method set_is_focus : bool -> unit
method set_justification : Gtk.Tags.justification -> unit
method set_left_margin : int -> unit
method set_margin : int -> unit
method set_margin_bottom : int -> unit
method set_margin_end : int -> unit
method set_margin_left : int -> unit
method set_margin_right : int -> unit
method set_margin_start : int -> unit
method set_margin_top : int -> unit
method set_mark_attributes : category:string -> source_mark_attributes -> int -> unit
method set_monospace : bool -> unit
method set_name : string -> unit
method set_no_show_all : bool -> unit
method set_opacity : float -> unit
method set_overwrite : bool -> unit
method set_parent : Gtk.container Gtk.obj option -> unit
method set_pixels_above_lines : int -> unit
method set_pixels_below_lines : int -> unit
method set_pixels_inside_wrap : int -> unit
method set_populate_all : bool -> unit
method set_receives_default : bool -> unit
method set_right_margin : int -> unit
method set_right_margin_position : int -> unit
method set_sensitive : bool -> 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 : SourceView3Enums.source_smart_home_end_type -> unit
method set_style : Gtk.style -> unit
method set_tab_width : int -> unit
method set_tooltip_markup : string -> unit
method set_tooltip_text : string -> unit
method set_top_margin : int -> unit
method set_vadjustment : GData.adjustment -> unit
method set_valign : GtkEnums.align -> unit
method set_vexpand : bool -> unit
method set_vexpand_set : bool -> unit
method set_visible : bool -> unit
method set_width_request : 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 : SourceView3Enums.source_smart_home_end_type
method source_buffer : source_buffer
method starts_display_line : GText.iter -> bool
method style : Gtk.style
method tab_width : int
method tooltip_markup : string
method tooltip_text : string
method top_margin : int
method vadjustment : GData.adjustment
method valign : GtkEnums.align
method vexpand : bool
method vexpand_set : bool
method visible : bool
method visible_rect : Gdk.Rectangle.t
method width_request : int
method window_to_buffer_coords : tag:Gtk.Tags.text_window_type -> x:int -> y:int -> int * int
method wrap_mode : Gtk.Tags.wrap_mode