Blame builtin/builtin_index.ml

Packit bd2e5d
(* Various indexes
Packit bd2e5d
    canvas
Packit bd2e5d
    entry
Packit bd2e5d
    listbox
Packit bd2e5d
*)
Packit bd2e5d
Packit bd2e5d
##ifdef CAMLTK
Packit bd2e5d
Packit bd2e5d
(* A large type for all indices in all widgets *)
Packit bd2e5d
(* a bit overkill though *)
Packit bd2e5d
Packit bd2e5d
(* type *)
Packit bd2e5d
type index =
Packit bd2e5d
  | Number of int         (* no keyword  *)
Packit bd2e5d
  | ActiveElement         (* tk keyword: active *)
Packit bd2e5d
  | End                   (* tk keyword: end *)
Packit bd2e5d
  | Last                  (* tk keyword: last *)
Packit bd2e5d
  | NoIndex               (* tk keyword: none *)
Packit bd2e5d
  | Insert                (* tk keyword: insert *)
Packit bd2e5d
  | SelFirst              (* tk keyword: sel.first *)
Packit bd2e5d
  | SelLast               (* tk keyword: sel.last *)
Packit bd2e5d
  | At of int             (* tk keyword: @n *)
Packit bd2e5d
  | AtXY of int * int     (* tk keyword: @x,y *)
Packit bd2e5d
  | AnchorPoint           (* tk keyword: anchor *)
Packit bd2e5d
  | Pattern of string     (* no keyword *)
Packit bd2e5d
  | LineChar of int * int (* tk keyword: l.c *)
Packit bd2e5d
  | Mark of string        (* no keyword *)
Packit bd2e5d
  | TagFirst of string    (* tk keyword: tag.first *)
Packit bd2e5d
  | TagLast of string     (* tk keyword: tag.last *)
Packit bd2e5d
  | Embedded of widget    (* no keyword *)
Packit bd2e5d
;;
Packit bd2e5d
(* /type *)
Packit bd2e5d
Packit bd2e5d
##else
Packit bd2e5d
Packit bd2e5d
type canvas_index = [
Packit bd2e5d
  | `Num of int
Packit bd2e5d
  | `End
Packit bd2e5d
  | `Insert
Packit bd2e5d
  | `Selfirst
Packit bd2e5d
  | `Sellast
Packit bd2e5d
  | `Atxy of int * int
Packit bd2e5d
]
Packit bd2e5d
;;
Packit bd2e5d
Packit bd2e5d
type entry_index = [
Packit bd2e5d
  | `Num of int
Packit bd2e5d
  | `End
Packit bd2e5d
  | `Insert
Packit bd2e5d
  | `Selfirst
Packit bd2e5d
  | `Sellast
Packit bd2e5d
  | `At of int
Packit bd2e5d
  | `Anchor
Packit bd2e5d
]
Packit bd2e5d
;;
Packit bd2e5d
Packit bd2e5d
type listbox_index = [
Packit bd2e5d
  | `Num of int
Packit bd2e5d
  | `Active
Packit bd2e5d
  | `Anchor
Packit bd2e5d
  | `End
Packit bd2e5d
  | `Atxy of int * int
Packit bd2e5d
]
Packit bd2e5d
;;
Packit bd2e5d
Packit bd2e5d
type menu_index = [
Packit bd2e5d
  | `Num of int
Packit bd2e5d
  | `Active
Packit bd2e5d
  | `End
Packit bd2e5d
  | `Last
Packit bd2e5d
  | `None
Packit bd2e5d
  | `At of int
Packit bd2e5d
  | `Pattern of string
Packit bd2e5d
]
Packit bd2e5d
;;
Packit bd2e5d
Packit bd2e5d
type text_index = [
Packit bd2e5d
  | `Linechar of int * int
Packit bd2e5d
  | `Atxy of int * int
Packit bd2e5d
  | `End
Packit bd2e5d
  | `Mark of string
Packit bd2e5d
  | `Tagfirst of string
Packit bd2e5d
  | `Taglast of string
Packit bd2e5d
  | `Window of any widget
Packit bd2e5d
  | `Image of string
Packit bd2e5d
]
Packit bd2e5d
;;
Packit bd2e5d
Packit bd2e5d
type linechar_index = int * int;;
Packit bd2e5d
type num_index = int;;
Packit bd2e5d
Packit bd2e5d
##endif