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