aboutsummaryrefslogtreecommitdiff
path: root/imports/codemirror/mode/xmlpure
diff options
context:
space:
mode:
authorJose Antonio Marquez Russo2012-02-29 15:41:12 -0800
committerJose Antonio Marquez Russo2012-02-29 15:41:12 -0800
commit13aca03d4e0d11729d691db0b7f0d2f2a6899cf6 (patch)
treedbd17232983247a38bb6b2cea480242bdf3f2422 /imports/codemirror/mode/xmlpure
parentb09956e4a9a35c5588cc7cd1f01efb617cbe0884 (diff)
parent8fee7d6bdb55ba18f396c3523081b18499fa1e30 (diff)
downloadninja-13aca03d4e0d11729d691db0b7f0d2f2a6899cf6.tar.gz
Merge pull request #24 from ananyasen/FileIO
undo/redo per document , codemirror 2.22 update
Diffstat (limited to 'imports/codemirror/mode/xmlpure')
-rw-r--r--[-rwxr-xr-x]imports/codemirror/mode/xmlpure/index.html0
-rw-r--r--[-rwxr-xr-x]imports/codemirror/mode/xmlpure/xmlpure.js5
2 files changed, 5 insertions, 0 deletions
diff --git a/imports/codemirror/mode/xmlpure/index.html b/imports/codemirror/mode/xmlpure/index.html
index 721834ac..721834ac 100755..100644
--- a/imports/codemirror/mode/xmlpure/index.html
+++ b/imports/codemirror/mode/xmlpure/index.html
diff --git a/imports/codemirror/mode/xmlpure/xmlpure.js b/imports/codemirror/mode/xmlpure/xmlpure.js
index 6102f51d..18d710cf 100755..100644
--- a/imports/codemirror/mode/xmlpure/xmlpure.js
+++ b/imports/codemirror/mode/xmlpure/xmlpure.js
@@ -15,6 +15,7 @@ CodeMirror.defineMode("xmlpure", function(config, parserConfig) {
15 var STYLE_ATTRIBUTE = "attribute"; 15 var STYLE_ATTRIBUTE = "attribute";
16 var STYLE_WORD = "string"; 16 var STYLE_WORD = "string";
17 var STYLE_TEXT = "atom"; 17 var STYLE_TEXT = "atom";
18 var STYLE_ENTITIES = "string";
18 19
19 var TAG_INSTRUCTION = "!instruction"; 20 var TAG_INSTRUCTION = "!instruction";
20 var TAG_CDATA = "!cdata"; 21 var TAG_CDATA = "!cdata";
@@ -290,6 +291,10 @@ CodeMirror.defineMode("xmlpure", function(config, parserConfig) {
290 state.tokenize = parseElementTagName; 291 state.tokenize = parseElementTagName;
291 return STYLE_ELEMENT_NAME; 292 return STYLE_ELEMENT_NAME;
292 } 293 }
294 } else if(stream.eat("&")) {
295 stream.eatWhile(/[^;]/);
296 stream.eat(";");
297 return STYLE_ENTITIES;
293 } else { 298 } else {
294 // new context: text 299 // new context: text
295 pushContext(state, TAG_TEXT); 300 pushContext(state, TAG_TEXT);