Frama-C:
Plug-ins:
Libraries:

Frama-C API - source_completion_info

val obj : 'b 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 app_paintable : bool
method as_source_completion_info : GtkSourceView3_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 can_default : bool
method can_focus : bool
method child : GObj.widget
method children : GObj.widget list
method coerce : GObj.widget
method composite_child : bool
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 events : GdkEnums.event_mask list
method expand : bool
method focus : GContainer.focus
method focus_on_click : bool
method focus_on_map : bool
method fullscreen : unit -> unit
method get_oid : int
method get_size : unit -> int * int
method gravity : GdkEnums.gravity
method halign : GtkEnums.align
method has_default : bool
method has_focus : bool
method has_tooltip : bool
method has_toplevel_focus : bool
method height_request : int
method hexpand : bool
method hexpand_set : bool
method icon : GdkPixbuf.pixbuf option
method icon_name : string
method iconify : unit -> unit
method is_active : bool
method is_focus : bool
method kind : Gtk.Tags.window_type
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 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 name : string
method no_show_all : bool
method opacity : float
method parent : Gtk.container Gtk.obj option
method parse_geometry : string -> bool
method position : Gtk.Tags.window_position
method present : unit -> unit
method receives_default : bool
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 scale_factor : int
method screen : Gdk.screen
method sensitive : bool
method set_accept_focus : bool -> unit
method set_app_paintable : bool -> unit
method set_border_width : int -> unit
method set_can_default : bool -> unit
method set_can_focus : bool -> 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_events : GdkEnums.event_mask list -> unit
method set_expand : bool -> unit
method set_focus_on_click : 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_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_icon : GdkPixbuf.pixbuf option -> unit
method set_icon_name : string -> unit
method set_is_focus : bool -> 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_max_height : int -> unit
method set_max_width : int -> unit
method set_modal : bool -> unit
method set_name : string -> unit
method set_no_show_all : bool -> unit
method set_opacity : float -> unit
method set_parent : Gtk.container Gtk.obj option -> unit
method set_position : Gtk.Tags.window_position -> unit
method set_receives_default : bool -> 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_sensitive : bool -> unit
method set_shrink_height : bool -> unit
method set_shrink_width : bool -> unit
method set_skip_pager_hint : bool -> unit
method set_skip_taskbar_hint : bool -> unit
method set_style : Gtk.style -> unit
method set_title : string -> unit
method set_tooltip_markup : string -> unit
method set_tooltip_text : 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_valign : GtkEnums.align -> unit
method set_vexpand : bool -> unit
method set_vexpand_set : bool -> unit
method set_visible : bool -> unit
method set_widget : GObj.widget -> unit
method set_width_request : int -> unit
method set_wmclass : name:string -> clas: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 style : Gtk.style
method title : string
method tooltip_markup : string
method tooltip_text : 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 valign : GtkEnums.align
method vexpand : bool
method vexpand_set : bool
method visible : bool
method widget : GObj.widget
method width_request : int