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

diff --git a/helm/DEVEL/lablgtk/lablgtk_20001129-0.1.0/gDraw.mli b/helm/DEVEL/lablgtk/lablgtk_20001129-0.1.0/gDraw.mli
new file mode 100644
index 000000000..2b5fc8627
--- /dev/null
+++ b/helm/DEVEL/lablgtk/lablgtk_20001129-0.1.0/gDraw.mli
@@ -0,0 +1,107 @@
+(* $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