X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FDEVEL%2Flablgtk%2Flablgtk_20001129-0.1.0%2FgList.mli;fp=helm%2FDEVEL%2Flablgtk%2Flablgtk_20001129-0.1.0%2FgList.mli;h=0000000000000000000000000000000000000000;hb=869549224eef6278a48c16ae27dd786376082b38;hp=17f4cef964a80d2a5da6b36f1d1adf3baf46195f;hpb=89262281b6e83bd2321150f81f1a0583645eb0c8;p=helm.git

diff --git a/helm/DEVEL/lablgtk/lablgtk_20001129-0.1.0/gList.mli b/helm/DEVEL/lablgtk/lablgtk_20001129-0.1.0/gList.mli
deleted file mode 100644
index 17f4cef96..000000000
--- a/helm/DEVEL/lablgtk/lablgtk_20001129-0.1.0/gList.mli
+++ /dev/null
@@ -1,158 +0,0 @@
-(* $Id$ *)
-
-open Gtk
-open GObj
-open GContainer
-
-class list_item : Gtk.list_item obj ->
-  object
-    inherit container
-    val obj : Gtk.list_item obj
-    method event : event_ops
-    method as_item : Gtk.list_item obj
-    method connect : item_signals
-    method deselect : unit -> unit
-    method select : unit -> unit
-    method toggle : unit -> unit
-  end
-val list_item :
-  ?label:string ->
-  ?border_width:int ->
-  ?width:int ->
-  ?height:int ->
-  ?packing:(list_item -> unit) -> ?show:bool -> unit -> list_item
-
-class liste : Gtk.liste obj ->
-  object
-    inherit [list_item] item_container
-    val obj : Gtk.liste obj
-    method child_position : list_item -> int
-    method clear_items : start:int -> stop:int -> unit
-    method insert : list_item -> pos:int -> unit
-    method select_item : pos:int -> unit
-    method unselect_item : pos:int -> unit
-    method private wrap : Gtk.widget obj -> list_item
-  end
-val liste :
-  ?selection_mode:Tags.selection_mode ->
-  ?border_width:int ->
-  ?width:int ->
-  ?height:int ->
-  ?packing:(widget -> unit) -> ?show:bool -> unit -> liste
-
-class clist_signals : 'a obj ->
-  object
-    inherit container_signals
-    constraint 'a = [>`clist|`container|`widget]
-    val obj : 'a obj
-    method click_column : callback:(int -> unit) -> GtkSignal.id
-    method select_row :
-      callback:(row:int ->
-                column:int -> event:GdkEvent.Button.t option -> unit) ->
-      GtkSignal.id
-    method unselect_row :
-      callback:(row:int ->
-                column:int -> event:GdkEvent.Button.t option -> unit) ->
-      GtkSignal.id
-    method scroll_horizontal :
-      callback:(Tags.scroll_type -> pos:clampf -> unit) -> GtkSignal.id
-    method scroll_vertical :
-      callback:(Tags.scroll_type -> pos:clampf -> unit) -> GtkSignal.id
-  end
-
-class ['a] clist : Gtk.clist obj ->
-  object
-    inherit widget
-    val obj : Gtk.clist obj
-    method event : event_ops
-    method append : string list -> int
-    method cell_pixmap : int -> int -> GDraw.pixmap option
-    method cell_style : int -> int -> style option
-    method cell_text : int -> int -> string
-    method cell_type : int -> int -> Tags.cell_type
-    method clear : unit -> unit
-    method column_title : int -> string
-    method column_widget : int -> widget
-    method columns : int
-    method columns_autosize : unit -> unit
-    method connect : clist_signals
-    method focus_row : int
-    method freeze : unit -> unit
-    method get_row_column : x:int -> y:int -> int * int
-    method get_row_data : int -> 'a
-    method hadjustment : GData.adjustment
-    method insert : row:int -> string list -> int
-    method moveto :
-      ?row_align:clampf -> ?col_align:clampf -> int -> int -> unit
-    method optimal_column_width : int -> int
-    method prepend : string list -> int
-    method remove : row:int -> unit
-    method row_is_visible : int -> Tags.visibility
-    method row_move : int -> dst:int -> unit
-    method row_selectable : int -> bool
-    method row_style : int -> style option
-    method rows : int
-    method scroll_vertical : Tags.scroll_type -> pos:clampf -> unit
-    method scroll_horizontal : Tags.scroll_type -> pos:clampf -> unit
-    method select : int -> int -> unit
-    method select_all : unit -> unit
-    method set_border_width : int -> unit
-    method set_button_actions : int -> Tags.button_action list -> unit
-    method set_cell :
-      ?text:string ->
-      ?pixmap:GDraw.pixmap ->
-      ?spacing:int -> ?style:style -> int -> int -> unit
-    method set_column :
-      ?widget:widget ->
-      ?title:string ->
-      ?title_active:bool ->
-      ?justification:Tags.justification ->
-      ?visibility:bool ->
-      ?resizeable:bool ->
-      ?auto_resize:bool ->
-      ?width:int -> ?min_width:int -> ?max_width:int -> int -> unit
-    method set_hadjustment : GData.adjustment -> unit
-    method set_reorderable : bool -> unit
-    method set_row :
-      ?foreground:GDraw.optcolor ->
-      ?background:GDraw.optcolor ->
-      ?selectable:bool ->
-      ?style:style -> int -> unit
-    method set_row_data : int -> data:'a -> unit
-    method set_row_height : int -> unit
-    method set_selection_mode : Tags.selection_mode -> unit
-    method set_shadow_type : Tags.shadow_type -> unit
-    method set_shift : int -> int -> vertical:int -> horizontal:int -> unit
-    method set_sort :
-      ?auto:bool -> ?column:int -> ?dir:Tags.sort_type -> unit -> unit
-    method set_titles_active : bool -> unit
-    method set_titles_show : bool -> unit
-    method set_use_drag_icons : bool -> unit
-    method set_vadjustment : GData.adjustment -> unit
-    method sort : unit -> unit
-    method swap_rows : int -> int -> unit
-    method thaw : unit -> unit
-    method unselect : int -> int -> unit
-    method unselect_all : unit -> unit
-    method vadjustment : GData.adjustment
-  end
-val clist :
-  ?columns:int ->
-  ?titles:string list ->
-  ?hadjustment:GData.adjustment ->
-  ?vadjustment:GData.adjustment ->
-  ?shadow_type:Tags.shadow_type ->
-  ?button_actions:(int * Tags.button_action list) list ->
-  ?selection_mode:Tags.selection_mode ->
-  ?reorderable:bool ->
-  ?use_drag_icons:bool ->
-  ?row_height:int ->
-  ?titles_show:bool ->
-  ?titles_active:bool ->
-  ?auto_sort:bool ->
-  ?sort_column:int ->
-  ?sort_type:Tags.sort_type ->
-  ?border_width:int ->
-  ?width:int ->
-  ?height:int ->
-  ?packing:(widget -> unit) -> ?show:bool -> unit -> 'a clist