Encore un bug de undo

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@10989 85f007b7-540e-0410-9357-904b9bb8a0f7

1 files changed, 6 insertions, 3 deletions

diff --git a/ide/coqide.ml b/ide/coqide.ml
index 856880eb70..c3d10a898e 100644
--- a/ide/coqide.ml
+++ b/ide/coqide.ml
@@ -1421,9 +1421,12 @@ Please restart and report NOW.";
 		    end
 
 		| {reset_info=ResetAtFrozenState (sp, {contents=true})} ->
-		    ignore (pop ());
-		    reset_to (ResetToState sp);
-		    sync update_input ()
+		    if Pfedit.refining () then
+		      self#backtrack_to_no_lock start (Some (ResetToState sp))
+		    else
+		      (ignore (pop ());
+		       reset_to (ResetToState sp);
+		       sync update_input ())
 		| {reset_info=ResetAtSegmentStart (id, {contents=true})} ->
 		    ignore (pop ());
 		    reset_to_mod id;