From aac2d2ac490492f8466e1d45ba0079de376fe25a Mon Sep 17 00:00:00 2001
From: Lionel Rieg
Date: Thu, 25 Jun 2015 14:58:25 +0200
Subject: Introduction of a "Undelimit Scope" command, undoing "Delimit Scope"

---
 stm/texmacspp.ml | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

(limited to 'stm')

diff --git a/stm/texmacspp.ml b/stm/texmacspp.ml
index 9edc1f1c70..aaa6c2c07d 100644
--- a/stm/texmacspp.ml
+++ b/stm/texmacspp.ml
@@ -509,8 +509,10 @@ let rec tmpp v loc =
 
   | VernacOpenCloseScope (_,(true,name)) -> xmlScope loc "open" name []
   | VernacOpenCloseScope (_,(false,name)) -> xmlScope loc "close" name []
-  | VernacDelimiters (name,tag) ->
+  | VernacDelimiters (name,Some tag) ->
       xmlScope loc "delimit" name ~attr:["delimiter",tag] []
+  | VernacDelimiters (name,None) ->
+      xmlScope loc "undelimit" name ~attr:[] []
   | VernacBindScope (name,l) ->
       xmlScope loc "bind" name
         (List.map (function
-- 
cgit v1.2.3