diff options
| author | Jacques Garrigue <garrigue at math.nagoya-u.ac.jp> | 1999-12-09 15:08:02 +0000 |
|---|---|---|
| committer | Jacques Garrigue <garrigue at math.nagoya-u.ac.jp> | 1999-12-09 15:08:02 +0000 |
| commit | 25376ca5353065d4bff039fc9a83d21b9bb58fe4 (patch) | |
| tree | ad3a50ff90f7901c989e9284d2d428fecbcdf9d5 /otherlibs/labltk/Widgets.src | |
| parent | b1231d6d1d68c0151a744919bec073d3940cc11e (diff) | |
improve shell and editor
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2679 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'otherlibs/labltk/Widgets.src')
| -rw-r--r-- | otherlibs/labltk/Widgets.src | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/otherlibs/labltk/Widgets.src b/otherlibs/labltk/Widgets.src index d20969dcf..aa0323737 100644 --- a/otherlibs/labltk/Widgets.src +++ b/otherlibs/labltk/Widgets.src @@ -1536,7 +1536,7 @@ widget text { option Wrap ["-wrap"; WrapMode] function (int,int,int,int) bbox [widget(text); "bbox"; index: TextIndex] - function (bool) compare [widget(text); "compare"; index: TextIndex; comparison: Comparison; index: TextIndex] + function (bool) compare [widget(text); "compare"; index: TextIndex; op: Comparison; index: TextIndex] function () configure [widget(text); "configure"; option(text) list] function (string) configure_get [widget(text); "configure"] function () debug [widget(text); "debug"; switch: bool] @@ -1563,7 +1563,7 @@ widget text { # Scan function () scan_mark [widget(text); "scan"; "mark"; x: int; y: int] function () scan_dragto [widget(text); "scan"; "dragto"; x: int; y: int] - function (Index(text) as "[>`Linechar int * int]") search [widget(text); "search"; switches: TextSearch list; "--"; pattern: string; start: TextIndex; ?end: [TextIndex]] + function (Index(text) as "[>`Linechar int * int]") search [widget(text); "search"; switches: TextSearch list; "--"; pattern: string; start: TextIndex; ?stop: [TextIndex]] function () see [widget(text); "see"; index: TextIndex] # Tags function () tag_add [widget(text); "tag"; "add"; tag: TextTag; start: TextIndex; end: TextIndex] |