1999-11-30 06:59:39 -08:00
|
|
|
(* Color *)
|
|
|
|
(* type *)
|
|
|
|
type color = [
|
2000-02-16 03:51:37 -08:00
|
|
|
| `Color string
|
1999-11-30 06:59:39 -08:00
|
|
|
| `Black (* tk keyword: black *)
|
|
|
|
| `White (* tk keyword: white *)
|
|
|
|
| `Red (* tk keyword: red *)
|
|
|
|
| `Green (* tk keyword: green *)
|
|
|
|
| `Blue (* tk keyword: blue *)
|
|
|
|
| `Yellow (* tk keyword: yellow *)
|
|
|
|
]
|
|
|
|
(* /type *)
|
|
|
|
|
|
|
|
(* Tk_GetCursor emulation *)
|
|
|
|
(* type *)
|
|
|
|
type cursor = [
|
2000-02-16 03:51:37 -08:00
|
|
|
| `Xcursor string
|
1999-11-30 06:59:39 -08:00
|
|
|
| `Xcursorfg string * color
|
|
|
|
| `Xcursorfgbg string * color * color
|
|
|
|
| `Cursorfilefg string * color
|
|
|
|
| `Cursormaskfile string * string * color * color
|
|
|
|
]
|
|
|
|
(* /type *)
|
|
|
|
|