diff options
Diffstat (limited to 'otherlibs/labltk/builtin/builtin_ScrollValue.ml')
| -rw-r--r-- | otherlibs/labltk/builtin/builtin_ScrollValue.ml | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/otherlibs/labltk/builtin/builtin_ScrollValue.ml b/otherlibs/labltk/builtin/builtin_ScrollValue.ml index 20869c6da..75a509e69 100644 --- a/otherlibs/labltk/builtin/builtin_ScrollValue.ml +++ b/otherlibs/labltk/builtin/builtin_ScrollValue.ml @@ -2,9 +2,9 @@ (* type *) type scrollValue = - | ScrollPage of int (* tk option: scroll <int> page *) - | ScrollUnit of int (* tk option: scroll <int> unit *) - | MoveTo of float (* tk option: moveto <float> *) + | ScrollPage of int (* tk option: scroll <int> page *) + | ScrollUnit of int (* tk option: scroll <int> unit *) + | MoveTo of float (* tk option: moveto <float> *) ;; (* /type *) |