diff options
Diffstat (limited to 'otherlibs/labltk/builtin/builtin_index.ml')
| -rw-r--r-- | otherlibs/labltk/builtin/builtin_index.ml | 20 |
1 files changed, 10 insertions, 10 deletions
diff --git a/otherlibs/labltk/builtin/builtin_index.ml b/otherlibs/labltk/builtin/builtin_index.ml index 3735fc040..a42af5539 100644 --- a/otherlibs/labltk/builtin/builtin_index.ml +++ b/otherlibs/labltk/builtin/builtin_index.ml @@ -11,23 +11,23 @@ (* type *) type index = - | Number of int (* no keyword *) + | 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 *) + | 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 *) + | 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 *) + | Embedded of widget (* no keyword *) ;; (* /type *) |