man GBroken () - Deprecated widgets
NAME
GBroken - Deprecated widgets
Module
Module GBroken
Documentation
Module GBroken : sig end
Deprecated widgets
=== Deprecated widgets ===
=== Obsolete GtkTree/GtkTreeItem framework ===
class tree_item_signals : Gtk.tree_item Gtk.obj -> object end
Deprecated. use GTree.view instead
class tree_item : Gtk.tree_item Gtk.obj -> object end
Deprecated. use GTree.view instead
class tree_signals : Gtk.tree Gtk.obj -> object end
Deprecated. use GTree.view instead
class tree : Gtk.tree Gtk.obj -> object end
Deprecated. use GTree.view instead
val tree_item : ?label:string -> ?packing:(tree_item -> unit) -> ?show:bool -> unit -> tree_item Deprecated. use GTree.view instead
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 Deprecated. use GTree.view instead
=== 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