diff options
| author | letouzey | 2011-04-21 22:44:20 +0000 |
|---|---|---|
| committer | letouzey | 2011-04-21 22:44:20 +0000 |
| commit | 85f178287ad6192c478b5e8ee2fbd28e613fbb9a (patch) | |
| tree | b08889ae5f733bce48199deb738a88e7d09b1762 | |
| parent | 1b04c124152c47a664f2bee961e27293b1e2b2df (diff) | |
Coqide: remove some dead code
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@14050 85f007b7-540e-0410-9357-904b9bb8a0f7
| -rw-r--r-- | ide/coqide.ml | 21 |
1 files changed, 0 insertions, 21 deletions
diff --git a/ide/coqide.ml b/ide/coqide.ml index 5b532e00fa..cc36dd9de5 100644 --- a/ide/coqide.ml +++ b/ide/coqide.ml @@ -67,7 +67,6 @@ object method backtrack_to_no_lock : GText.iter -> unit method clear_message : unit method disconnected_keypress_handler : GdkEvent.Key.t -> bool - method electric_handler : GtkSignal.id method find_phrase_starting_at : GText.iter -> (GText.iter * GText.iter) option method get_insert : GText.iter @@ -422,10 +421,6 @@ let with_file handler name ~f = try f ic; close_in ic with e -> close_in ic; raise e with Sys_error s -> handler s - -(* For electric handlers *) -exception Found - (* For find_phrase_starting_at *) exception Stop of int @@ -1257,22 +1252,6 @@ object(self) | Ide_intf.Good () -> () end - method electric_handler = - input_buffer#connect#insert_text ~callback: - (fun it x -> - begin - try - if last_index then begin - last_array.(0)<-x; - if (last_array.(1) ^ last_array.(0) = ".\n") then raise Found - end else begin - last_array.(1)<-x; - if (last_array.(0) ^ last_array.(1) = ".\n") then raise Found - end - with Found -> self#process_next_phrase false - end; - last_index <- not last_index;) - method private electric_paren tag = let oparen_code = Glib.Utf8.to_unichar "(" ~pos:(ref 0) in let cparen_code = Glib.Utf8.to_unichar ")" ~pos:(ref 0) in |