diff options
Diffstat (limited to 'otherlibs/labltk/builtin/builtin_GetCursor.ml')
| -rw-r--r-- | otherlibs/labltk/builtin/builtin_GetCursor.ml | 24 |
1 files changed, 24 insertions, 0 deletions
diff --git a/otherlibs/labltk/builtin/builtin_GetCursor.ml b/otherlibs/labltk/builtin/builtin_GetCursor.ml new file mode 100644 index 000000000..7e0401592 --- /dev/null +++ b/otherlibs/labltk/builtin/builtin_GetCursor.ml @@ -0,0 +1,24 @@ +(* Color *) +(* type *) +type color = [ + `Color string + | `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 = [ + `Xcursor string + | `Xcursorfg string * color + | `Xcursorfgbg string * color * color + | `Cursorfilefg string * color + | `Cursormaskfile string * string * color * color +] +(* /type *) + |