Blame builtin/builtin_text.ml
|
Packit |
bd2e5d |
(* Not a string as such, more like a symbol *)
|
|
Packit |
bd2e5d |
|
|
Packit |
bd2e5d |
(* type *)
|
|
Packit |
bd2e5d |
type textMark = string;;
|
|
Packit |
bd2e5d |
(* /type *)
|
|
Packit |
bd2e5d |
|
|
Packit |
bd2e5d |
(* type *)
|
|
Packit |
bd2e5d |
type textTag = string;;
|
|
Packit |
bd2e5d |
(* /type *)
|
|
Packit |
bd2e5d |
|
|
Packit |
bd2e5d |
##ifdef CAMLTK
|
|
Packit |
bd2e5d |
|
|
Packit |
bd2e5d |
(* type *)
|
|
Packit |
bd2e5d |
type textModifier =
|
|
Packit |
bd2e5d |
| CharOffset of int (* tk keyword: +/- Xchars *)
|
|
Packit |
bd2e5d |
| LineOffset of int (* tk keyword: +/- Xlines *)
|
|
Packit |
bd2e5d |
| LineStart (* tk keyword: linestart *)
|
|
Packit |
bd2e5d |
| LineEnd (* tk keyword: lineend *)
|
|
Packit |
bd2e5d |
| WordStart (* tk keyword: wordstart *)
|
|
Packit |
bd2e5d |
| WordEnd (* tk keyword: wordend *)
|
|
Packit |
bd2e5d |
;;
|
|
Packit |
bd2e5d |
(* /type *)
|
|
Packit |
bd2e5d |
|
|
Packit |
bd2e5d |
(* type *)
|
|
Packit |
bd2e5d |
type textIndex =
|
|
Packit |
bd2e5d |
| TextIndex of index * textModifier list
|
|
Packit |
bd2e5d |
| TextIndexNone
|
|
Packit |
bd2e5d |
;;
|
|
Packit |
bd2e5d |
(* /type *)
|
|
Packit |
bd2e5d |
|
|
Packit |
bd2e5d |
##else
|
|
Packit |
bd2e5d |
|
|
Packit |
bd2e5d |
(* type *)
|
|
Packit |
bd2e5d |
type textModifier = [
|
|
Packit |
bd2e5d |
| `Char of int (* tk keyword: +/- Xchars *)
|
|
Packit |
bd2e5d |
| `Line of int (* tk keyword: +/- Xlines *)
|
|
Packit |
bd2e5d |
| `Linestart (* tk keyword: linestart *)
|
|
Packit |
bd2e5d |
| `Lineend (* tk keyword: lineend *)
|
|
Packit |
bd2e5d |
| `Wordstart (* tk keyword: wordstart *)
|
|
Packit |
bd2e5d |
| `Wordend (* tk keyword: wordend *)
|
|
Packit |
bd2e5d |
]
|
|
Packit |
bd2e5d |
;;
|
|
Packit |
bd2e5d |
(* /type *)
|
|
Packit |
bd2e5d |
|
|
Packit |
bd2e5d |
(* type *)
|
|
Packit |
bd2e5d |
type textIndex = text_index * textModifier list
|
|
Packit |
bd2e5d |
;;
|
|
Packit |
bd2e5d |
(* /type *)
|
|
Packit |
bd2e5d |
|
|
Packit |
bd2e5d |
##endif
|