X-Git-Url: http://matita.cs.unibo.it/gitweb/?p=helm.git;a=blobdiff_plain;f=helm%2FDEVEL%2Flablgtk%2Flablgtk_20001129-0.1.0%2FgDraw.mli;fp=helm%2FDEVEL%2Flablgtk%2Flablgtk_20001129-0.1.0%2FgDraw.mli;h=0000000000000000000000000000000000000000;hp=2b5fc8627d49ec2dfff9a056600da49fd0b733c6;hb=3ef089a4c58fbe429dd539af6215991ecbe11ee2;hpb=1c7fb836e2af4f2f3d18afd0396701f2094265ff

diff --git a/helm/DEVEL/lablgtk/lablgtk_20001129-0.1.0/gDraw.mli b/helm/DEVEL/lablgtk/lablgtk_20001129-0.1.0/gDraw.mli
deleted file mode 100644
index 2b5fc8627..000000000
--- a/helm/DEVEL/lablgtk/lablgtk_20001129-0.1.0/gDraw.mli
+++ /dev/null
@@ -1,107 +0,0 @@
-(* $Id$ *)
-
-open Gdk
-
-type color =
-  [ `COLOR of Color.t
-  | `WHITE
-  | `BLACK
-  | `NAME of string
-  | `RGB of int * int * int]
-
-val color : ?colormap:colormap -> color -> Color.t
-
-type optcolor =
-  [ `COLOR of Color.t
-  | `WHITE
-  | `BLACK
-  | `NAME of string
-  | `RGB of int * int * int
-  | `DEFAULT ]
-
-val optcolor : ?colormap:colormap -> optcolor -> Color.t option
-
-class ['a] drawable : ?colormap:colormap -> 'a Gdk.drawable ->
-  object
-    val gc : gc
-    val w : 'a Gdk.drawable
-    method arc :
-      x:int ->
-      y:int ->
-      width:int ->
-      height:int ->
-      ?filled:bool -> ?start:float -> ?angle:float -> unit -> unit
-    method color : color -> Color.t
-    method gc_values : GC.values
-    method image :
-      width:int ->
-      height:int ->
-      ?xsrc:int -> ?ysrc:int -> ?xdest:int -> ?ydest:int -> image -> unit
-    method line : x:int -> y:int -> x:int -> y:int -> unit
-    method point : x:int -> y:int -> unit
-    method polygon : ?filled:bool -> (int * int) list -> unit
-    method rectangle :
-      x:int ->
-      y:int -> width:int -> height:int -> ?filled:bool -> unit -> unit
-    method set_background : color -> unit
-    method set_foreground : color -> unit
-    method set_clip_region : region -> unit
-    method set_line_attributes :
-      ?width:int ->
-      ?style:GC.gdkLineStyle ->
-      ?cap:GC.gdkCapStyle -> ?join:GC.gdkJoinStyle -> unit -> unit
-    method string : string -> font:font -> x:int -> y:int -> unit
-  end
-
-class pixmap :
-  ?colormap:colormap -> ?mask:bitmap -> [ `pixmap] Gdk.drawable ->
-  object
-    inherit [[`pixmap]] drawable
-    val bitmap : [ `bitmap] drawable option
-    val mask : bitmap option
-    method mask : bitmap option
-    method pixmap : Gdk.pixmap
-  end
-
-class type misc_ops =
-  object
-    method allocation : Gtk.rectangle
-    method colormap : colormap
-    method draw : Rectangle.t option -> unit
-    method hide : unit -> unit
-    method hide_all : unit -> unit
-    method intersect : Rectangle.t -> Rectangle.t option
-    method pointer : int * int
-    method realize : unit -> unit
-    method set_app_paintable : bool -> unit
-    method set_geometry :
-      ?x:int -> ?y:int -> ?width:int -> ?height:int -> unit -> unit
-    method show : unit -> unit
-    method unmap : unit -> unit
-    method unparent : unit -> unit
-    method unrealize : unit -> unit
-    method visible : bool
-    method visual : visual
-    method visual_depth : int
-    method window : window
-  end
-
-val pixmap :
-  window:< misc : #misc_ops; .. > ->
-  width:int -> height:int -> ?mask:bool -> unit -> pixmap
-val pixmap_from_xpm :
-  window:< misc : #misc_ops; .. > ->
-  file:string ->
-  ?colormap:colormap -> ?transparent:color -> unit -> pixmap
-val pixmap_from_xpm_d :
-  window:< misc : #misc_ops; .. > ->
-  data:string array ->
-  ?colormap:colormap -> ?transparent:color -> unit -> pixmap
-
-class drag_context : Gdk.drag_context ->
-  object
-    val context : Gdk.drag_context
-    method status : ?time:int -> Tags.drag_action list -> unit
-    method suggested_action : Tags.drag_action
-    method targets : atom list
-  end