summaryrefslogtreecommitdiffstats
path: root/otherlibs/labltk/browser/editor.ml
diff options
context:
space:
mode:
authorJacques Garrigue <garrigue at math.nagoya-u.ac.jp>2003-04-02 06:56:06 +0000
committerJacques Garrigue <garrigue at math.nagoya-u.ac.jp>2003-04-02 06:56:06 +0000
commitf7d2af2b0be23619212578aff6a6282e88bda028 (patch)
tree2fc3cb9cd5c660f91c2e1253c8bfc2fcb1314bbf /otherlibs/labltk/browser/editor.ml
parent52b108a592c7cefd48c9b24cbddf946e6f2b56d4 (diff)
use Stypes
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5482 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'otherlibs/labltk/browser/editor.ml')
-rw-r--r--otherlibs/labltk/browser/editor.ml14
1 files changed, 7 insertions, 7 deletions
diff --git a/otherlibs/labltk/browser/editor.ml b/otherlibs/labltk/browser/editor.ml
index cead6e0fa..1e6e3c0ee 100644
--- a/otherlibs/labltk/browser/editor.ml
+++ b/otherlibs/labltk/browser/editor.ml
@@ -211,12 +211,12 @@ let send_phrase txt =
sh#send ";;\n"
let search_pos_window txt ~x ~y =
- if txt.structure = [] && txt.psignature = [] then () else
+ if txt.type_info = [] && txt.psignature = [] then () else
let `Linechar (l, c) = Text.index txt.tw ~index:(`Atxy(x,y), []) in
let text = Jg_text.get_all txt.tw in
let pos = Searchpos.lines_to_chars l ~text + c in
- try if txt.structure <> [] then begin match
- Searchpos.search_pos_structure txt.structure ~pos
+ try if txt.type_info <> [] then begin match
+ Searchpos.search_pos_info txt.type_info ~pos
with [] -> ()
| (kind, env, loc) :: _ -> Searchpos.view_type kind ~env
end else begin match
@@ -228,12 +228,12 @@ let search_pos_window txt ~x ~y =
with Not_found -> ()
let search_pos_menu txt ~x ~y =
- if txt.structure = [] && txt.psignature = [] then () else
+ if txt.type_info = [] && txt.psignature = [] then () else
let `Linechar (l, c) = Text.index txt.tw ~index:(`Atxy(x,y), []) in
let text = Jg_text.get_all txt.tw in
let pos = Searchpos.lines_to_chars l ~text + c in
- try if txt.structure <> [] then begin match
- Searchpos.search_pos_structure txt.structure ~pos
+ try if txt.type_info <> [] then begin match
+ Searchpos.search_pos_info txt.type_info ~pos
with [] -> ()
| (kind, env, loc) :: _ ->
let menu = Searchpos.view_type_menu kind ~env ~parent:txt.tw in
@@ -336,7 +336,7 @@ class editor ~top ~menus = object (self)
number = string_of_int window_counter;
modified = Textvariable.create ~on:tw ();
shell = None;
- structure = []; signature = []; psignature = [] }
+ structure = []; type_info = []; signature = []; psignature = [] }
in
let control c = Char.chr (Char.code c - 96) in
bind tw ~events:[`Modified([`Alt], `KeyPress)] ~action:ignore;