]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/DEVEL/mathml_editor/src/TToken.hh
A first partial implementation of deleting is introduced. The user might
[helm.git] / helm / DEVEL / mathml_editor / src / TToken.hh
index 1cb6ca15e5848a8f9827d1fde8e52e9ab51910c4..bf19fb187a12897fdfd32eab6175dea2adb195c4 100644 (file)
@@ -22,7 +22,8 @@ struct TToken
       OTHER,
       ACTIVE,
       COMMENT,
-      CONTROL
+      CONTROL,
+      GDELETE
     };
 
   TToken(TCat c) : category(c) { };