package frama-c

You can search for identifiers within the package.

in-package search v0.2.0

Class `GSourceView.source_completion_info`Source

inherit GWindow.window

val obj : 'a Gtk.obj

method as_source_completion_info : GtkSourceView3_types.source_completion_info
                                     Gtk.obj

method max_height : int

method max_width : int

method set_max_height : int -> unit

method set_max_width : int -> unit

method set_shrink_height : bool -> unit

method set_shrink_width : bool -> unit

method set_widget : GObj.widget -> unit

method shrink_height : bool

method shrink_width : bool

method widget : GObj.widget