Module GtkMiscProps.StatusbarSource

Sourcemodule P : sig ... end
Sourcemodule S : sig ... end
Sourceval get_context_id : [> `statusbar ] Gtk.obj -> string -> Gtk.statusbar_context
Sourceval push : [> `statusbar ] Gtk.obj -> Gtk.statusbar_context -> text:string -> Gtk.statusbar_message
Sourceval pop : [> `statusbar ] Gtk.obj -> Gtk.statusbar_context -> unit
Sourceval remove : [> `statusbar ] Gtk.obj -> Gtk.statusbar_context -> Gtk.statusbar_message -> unit
Sourceval remove_all : [> `statusbar ] Gtk.obj -> Gtk.statusbar_context -> unit