diff options
| -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 |