package frama-c

  1. Overview
  2. Docs
package frama-c
Legend:
Library
Module
Module type
Parameter
Class
Class type
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
OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct