diff options
Diffstat (limited to 'otherlibs/labltk/builtin/builtin_index.ml')
| -rw-r--r-- | otherlibs/labltk/builtin/builtin_index.ml | 92 |
1 files changed, 0 insertions, 92 deletions
diff --git a/otherlibs/labltk/builtin/builtin_index.ml b/otherlibs/labltk/builtin/builtin_index.ml deleted file mode 100644 index a42af55390..0000000000 --- a/otherlibs/labltk/builtin/builtin_index.ml +++ /dev/null @@ -1,92 +0,0 @@ -(* Various indexes - canvas - entry - listbox -*) - -##ifdef CAMLTK - -(* A large type for all indices in all widgets *) -(* a bit overkill though *) - -(* type *) -type index = - | Number of int (* no keyword *) - | ActiveElement (* tk keyword: active *) - | End (* tk keyword: end *) - | Last (* tk keyword: last *) - | NoIndex (* tk keyword: none *) - | Insert (* tk keyword: insert *) - | SelFirst (* tk keyword: sel.first *) - | SelLast (* tk keyword: sel.last *) - | At of int (* tk keyword: @n *) - | AtXY of int * int (* tk keyword: @x,y *) - | AnchorPoint (* tk keyword: anchor *) - | Pattern of string (* no keyword *) - | LineChar of int * int (* tk keyword: l.c *) - | Mark of string (* no keyword *) - | TagFirst of string (* tk keyword: tag.first *) - | TagLast of string (* tk keyword: tag.last *) - | Embedded of widget (* no keyword *) -;; -(* /type *) - -##else - -type canvas_index = [ - | `Num of int - | `End - | `Insert - | `Selfirst - | `Sellast - | `Atxy of int * int -] -;; - -type entry_index = [ - | `Num of int - | `End - | `Insert - | `Selfirst - | `Sellast - | `At of int - | `Anchor -] -;; - -type listbox_index = [ - | `Num of int - | `Active - | `Anchor - | `End - | `Atxy of int * int -] -;; - -type menu_index = [ - | `Num of int - | `Active - | `End - | `Last - | `None - | `At of int - | `Pattern of string -] -;; - -type text_index = [ - | `Linechar of int * int - | `Atxy of int * int - | `End - | `Mark of string - | `Tagfirst of string - | `Taglast of string - | `Window of any widget - | `Image of string -] -;; - -type linechar_index = int * int;; -type num_index = int;; - -##endif |
