diff options
author | Pushkar Joshi | 2012-03-06 17:04:40 -0800 |
---|---|---|
committer | Pushkar Joshi | 2012-03-06 17:04:40 -0800 |
commit | 7a43958033906b2273de88bc2a26cda7a905d202 (patch) | |
tree | f71817e712c4b07a48257a4f0b206cf9033421df /imports/codemirror/mode/xmlpure | |
parent | 264e3d8e6d3624083d2fab9fe2560234553bb2ad (diff) | |
parent | 2e3943a8f751ec572066f168b58464c24b9f29e5 (diff) | |
download | ninja-7a43958033906b2273de88bc2a26cda7a905d202.tar.gz |
Merge branch 'master' into brushtool
Diffstat (limited to 'imports/codemirror/mode/xmlpure')
-rw-r--r--[-rwxr-xr-x] | imports/codemirror/mode/xmlpure/index.html | 0 | ||||
-rw-r--r--[-rwxr-xr-x] | imports/codemirror/mode/xmlpure/xmlpure.js | 5 |
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); |