]> matita.cs.unibo.it Git - helm.git/blob - helm/DEVEL/lablgtk/lablgtk_20001129-0.1.0/gDraw.mli
* implemented a more efficient selection to avoid flickering
[helm.git] / helm / DEVEL / lablgtk / lablgtk_20001129-0.1.0 / gDraw.mli
1 (* $Id$ *)
2
3 open Gdk
4
5 type color =
6   [ `COLOR of Color.t
7   | `WHITE
8   | `BLACK
9   | `NAME of string
10   | `RGB of int * int * int]
11
12 val color : ?colormap:colormap -> color -> Color.t
13
14 type optcolor =
15   [ `COLOR of Color.t
16   | `WHITE
17   | `BLACK
18   | `NAME of string
19   | `RGB of int * int * int
20   | `DEFAULT ]
21
22 val optcolor : ?colormap:colormap -> optcolor -> Color.t option
23
24 class ['a] drawable : ?colormap:colormap -> 'a Gdk.drawable ->
25   object
26     val gc : gc
27     val w : 'a Gdk.drawable
28     method arc :
29       x:int ->
30       y:int ->
31       width:int ->
32       height:int ->
33       ?filled:bool -> ?start:float -> ?angle:float -> unit -> unit
34     method color : color -> Color.t
35     method gc_values : GC.values
36     method image :
37       width:int ->
38       height:int ->
39       ?xsrc:int -> ?ysrc:int -> ?xdest:int -> ?ydest:int -> image -> unit
40     method line : x:int -> y:int -> x:int -> y:int -> unit
41     method point : x:int -> y:int -> unit
42     method polygon : ?filled:bool -> (int * int) list -> unit
43     method rectangle :
44       x:int ->
45       y:int -> width:int -> height:int -> ?filled:bool -> unit -> unit
46     method set_background : color -> unit
47     method set_foreground : color -> unit
48     method set_clip_region : region -> unit
49     method set_line_attributes :
50       ?width:int ->
51       ?style:GC.gdkLineStyle ->
52       ?cap:GC.gdkCapStyle -> ?join:GC.gdkJoinStyle -> unit -> unit
53     method string : string -> font:font -> x:int -> y:int -> unit
54   end
55
56 class pixmap :
57   ?colormap:colormap -> ?mask:bitmap -> [ `pixmap] Gdk.drawable ->
58   object
59     inherit [[`pixmap]] drawable
60     val bitmap : [ `bitmap] drawable option
61     val mask : bitmap option
62     method mask : bitmap option
63     method pixmap : Gdk.pixmap
64   end
65
66 class type misc_ops =
67   object
68     method allocation : Gtk.rectangle
69     method colormap : colormap
70     method draw : Rectangle.t option -> unit
71     method hide : unit -> unit
72     method hide_all : unit -> unit
73     method intersect : Rectangle.t -> Rectangle.t option
74     method pointer : int * int
75     method realize : unit -> unit
76     method set_app_paintable : bool -> unit
77     method set_geometry :
78       ?x:int -> ?y:int -> ?width:int -> ?height:int -> unit -> unit
79     method show : unit -> unit
80     method unmap : unit -> unit
81     method unparent : unit -> unit
82     method unrealize : unit -> unit
83     method visible : bool
84     method visual : visual
85     method visual_depth : int
86     method window : window
87   end
88
89 val pixmap :
90   window:< misc : #misc_ops; .. > ->
91   width:int -> height:int -> ?mask:bool -> unit -> pixmap
92 val pixmap_from_xpm :
93   window:< misc : #misc_ops; .. > ->
94   file:string ->
95   ?colormap:colormap -> ?transparent:color -> unit -> pixmap
96 val pixmap_from_xpm_d :
97   window:< misc : #misc_ops; .. > ->
98   data:string array ->
99   ?colormap:colormap -> ?transparent:color -> unit -> pixmap
100
101 class drag_context : Gdk.drag_context ->
102   object
103     val context : Gdk.drag_context
104     method status : ?time:int -> Tags.drag_action list -> unit
105     method suggested_action : Tags.drag_action
106     method targets : atom list
107   end