module GBroken: sig
.. end
Deprecated widgets
GTK documentation: Deprecated
Deprecated widgets
Obsolete GtkTree/GtkTreeItem framework
class tree_item_signals : Gtk.tree_item Gtk.obj ->
object
.. end
class tree_item : Gtk.tree_item Gtk.obj ->
object
.. end
class tree_signals : Gtk.tree Gtk.obj ->
object
.. end
class tree : Gtk.tree Gtk.obj ->
object
.. end
val tree_item : ?label:string ->
?packing:(tree_item -> unit) ->
?show:bool -> unit -> tree_item
val tree : ?selection_mode:Gtk.Tags.selection_mode ->
?view_mode:[ `ITEM | `LINE ] ->
?view_lines:bool ->
?border_width:int ->
?width:int ->
?height:int ->
?packing:(GObj.widget -> unit) -> ?show:bool -> unit -> tree
Obsolete GtkOldEditable/GtkText framework
class old_editable_signals : [> Gtk.old_editable ] Gtk.obj ->
object
.. end
class text : Gtk.text Gtk.obj ->
object
.. end
val text : ?hadjustment:GData.adjustment ->
?vadjustment:GData.adjustment ->
?editable:bool ->
?line_wrap:bool ->
?word_wrap:bool ->
?packing:(GObj.widget -> unit) -> ?show:bool -> unit -> text