summaryrefslogtreecommitdiffstats
path: root/otherlibs/labltk/builtin/builtin_index.ml
diff options
context:
space:
mode:
Diffstat (limited to 'otherlibs/labltk/builtin/builtin_index.ml')
-rw-r--r--otherlibs/labltk/builtin/builtin_index.ml56
1 files changed, 56 insertions, 0 deletions
diff --git a/otherlibs/labltk/builtin/builtin_index.ml b/otherlibs/labltk/builtin/builtin_index.ml
new file mode 100644
index 000000000..917ac410a
--- /dev/null
+++ b/otherlibs/labltk/builtin/builtin_index.ml
@@ -0,0 +1,56 @@
+(* Various indexes
+ canvas
+ entry
+ listbox
+*)
+
+type canvas_index = [
+ `Num(int)
+ | `End
+ | `Insert
+ | `Selfirst
+ | `Sellast
+ | `Atxy(int * int)
+]
+
+type entry_index = [
+ `Num(int)
+ | `End
+ | `Insert
+ | `Selfirst
+ | `Sellast
+ | `At(int)
+ | `Anchor
+]
+
+type listbox_index = [
+ `Num(int)
+ | `Active
+ | `Anchor
+ | `End
+ | `Atxy(int * int)
+]
+
+type menu_index = [
+ `Num(int)
+ | `Active
+ | `End
+ | `Last
+ | `None
+ | `At(int)
+ | `Pattern(string)
+]
+
+type text_index = [
+ `Linechar(int * int)
+ | `Atxy(int * int)
+ | `End
+ | `Mark(string)
+ | `Tagfirst(string)
+ | `Taglast(string)
+ | `Window(any widget)
+ | `Image(string)
+]
+
+type linechar_index = int * int
+type num_index = int