From 56319aaf096cbb6061ae310ac36583fbd61a3d13 Mon Sep 17 00:00:00 2001
From: gareuselesinge
Date: Tue, 1 Oct 2013 15:35:28 +0000
Subject: CoqIDE: fix reset initial

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@16824 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 ide/coqOps.ml | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/ide/coqOps.ml b/ide/coqOps.ml
index 92b2a5e74b..0dea01cd52 100644
--- a/ide/coqOps.ml
+++ b/ide/coqOps.ml
@@ -725,6 +725,9 @@ object(self)
         buffer#delete_mark phrase.start;
         buffer#delete_mark phrase.stop
       done;
+      List.iter
+        (buffer#remove_tag ~start:buffer#start_iter ~stop:buffer#end_iter)
+        Tags.Script.all;
       (* reset the buffer *)
       buffer#move_mark ~where:buffer#start_iter (`NAME "start_of_input");
       buffer#move_mark ~where:buffer#end_iter (`NAME "stop_of_input");
-- 
cgit v1.2.3