([> GtkSourceView3_types.source_completion_info ] as 'a) Gtk.obj ->
object
  val obj : '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 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 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 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_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_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_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 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