summaryrefslogtreecommitdiffstats
path: root/media/CodeMirror-0.62/js/parsedummy.js
diff options
context:
space:
mode:
authorWookey <wookey@wookware.org>2014-09-11 07:40:58 +0100
committerWookey <wookey@wookware.org>2014-09-11 07:40:58 +0100
commitaf07161f05d5ae175ed8b70345df417ce4961344 (patch)
tree6fd38a16c49a3303b09c6d2e7a9e5ef994ecb08e /media/CodeMirror-0.62/js/parsedummy.js
parent5ff759db93e0aee948fa86716b7d1ca282df8ad7 (diff)
downloadtroggle-af07161f05d5ae175ed8b70345df417ce4961344.tar.gz
troggle-af07161f05d5ae175ed8b70345df417ce4961344.tar.bz2
troggle-af07161f05d5ae175ed8b70345df417ce4961344.zip
remove internal copies of jquery, jquiery-forms, jquery-ui+themes,
django-feincms and codemirror
Diffstat (limited to 'media/CodeMirror-0.62/js/parsedummy.js')
-rw-r--r--media/CodeMirror-0.62/js/parsedummy.js32
1 files changed, 0 insertions, 32 deletions
diff --git a/media/CodeMirror-0.62/js/parsedummy.js b/media/CodeMirror-0.62/js/parsedummy.js
deleted file mode 100644
index 9e63caa..0000000
--- a/media/CodeMirror-0.62/js/parsedummy.js
+++ /dev/null
@@ -1,32 +0,0 @@
-var DummyParser = Editor.Parser = (function() {
- function tokenizeDummy(source) {
- while (!source.endOfLine()) source.next();
- return "text";
- }
- function parseDummy(source) {
- function indentTo(n) {return function() {return n;}}
- source = tokenizer(source, tokenizeDummy);
- var space = 0;
-
- var iter = {
- next: function() {
- var tok = source.next();
- if (tok.type == "whitespace") {
- if (tok.value == "\n") tok.indentation = indentTo(space);
- else space = tok.value.length;
- }
- return tok;
- },
- copy: function() {
- var _space = space;
- return function(_source) {
- space = _space;
- source = tokenizer(_source, tokenizeDummy);
- return iter;
- };
- }
- };
- return iter;
- }
- return {make: parseDummy};
-})();