From 69212fa135879b8df4cf3347a6bee0af769a3ee7 Mon Sep 17 00:00:00 2001 From: Pierre-Marie Pédrot Date: Thu, 12 Feb 2015 22:07:32 +0100 Subject: Tentative fix for CoqIDE randomly dropping deletions. We make the deletion callback not to regenerate a task id, as the insertion callback does. I can't find a particular reason for this dissymetry, and it was indeed causing trouble. --- ide/session.ml | 1 - 1 file changed, 1 deletion(-) (limited to 'ide/session.ml') diff --git a/ide/session.ml b/ide/session.ml index 072ae61c6..47b747dae 100644 --- a/ide/session.ml +++ b/ide/session.ml @@ -160,7 +160,6 @@ let set_buffer_handlers end end in let delete_cb ~start ~stop = Minilib.log (Printf.sprintf "delete_cb %d %d" start#offset stop#offset); - cur_action := new_action_id (); let min_iter, max_iter = if start#compare stop < 0 then start, stop else stop, start in let text_mark = add_mark min_iter in -- cgit v1.2.3