GtkMiscProps.Statusbarval cast : 'a Gobject.obj -> Gtk.statusbar Gtk.objmodule P : sig ... endmodule S : sig ... endval create : Gtk.statusbar Gobject.param list -> Gtk.statusbar Gtk.objval get_context_id : [> `statusbar ] Gtk.obj -> string -> Gtk.statusbar_contextval push :
[> `statusbar ] Gtk.obj ->
Gtk.statusbar_context ->
text:string ->
Gtk.statusbar_messageval pop : [> `statusbar ] Gtk.obj -> Gtk.statusbar_context -> unitval remove :
[> `statusbar ] Gtk.obj ->
Gtk.statusbar_context ->
Gtk.statusbar_message ->
unitval remove_all : [> `statusbar ] Gtk.obj -> Gtk.statusbar_context -> unit