diff options
author | Jacques Garrigue <garrigue at math.nagoya-u.ac.jp> | 2003-04-02 06:56:06 +0000 |
---|---|---|
committer | Jacques Garrigue <garrigue at math.nagoya-u.ac.jp> | 2003-04-02 06:56:06 +0000 |
commit | f7d2af2b0be23619212578aff6a6282e88bda028 (patch) | |
tree | 2fc3cb9cd5c660f91c2e1253c8bfc2fcb1314bbf /otherlibs/labltk/browser/editor.ml | |
parent | 52b108a592c7cefd48c9b24cbddf946e6f2b56d4 (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.ml | 14 |
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; |