package frama-c

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