diff options
| author | Tristan Zur <tzur@web.web.ccwn.org> | 2014-03-27 22:27:47 +0100 |
|---|---|---|
| committer | Tristan Zur <tzur@web.web.ccwn.org> | 2014-03-27 22:27:47 +0100 |
| commit | b62676ca5d3d6f6ba3f019ea3f99722e165a98d8 (patch) | |
| tree | 86722cb80f07d4569f90088eeaea2fc2f6e2ef94 /js/dojo-1.6/dojox/highlight/languages/pygments/html.js | |
Diffstat (limited to 'js/dojo-1.6/dojox/highlight/languages/pygments/html.js')
| -rw-r--r-- | js/dojo-1.6/dojox/highlight/languages/pygments/html.js | 108 |
1 files changed, 108 insertions, 0 deletions
diff --git a/js/dojo-1.6/dojox/highlight/languages/pygments/html.js b/js/dojo-1.6/dojox/highlight/languages/pygments/html.js new file mode 100644 index 0000000..a6eea44 --- /dev/null +++ b/js/dojo-1.6/dojox/highlight/languages/pygments/html.js @@ -0,0 +1,108 @@ +/*
+ Copyright (c) 2004-2011, The Dojo Foundation All Rights Reserved.
+ Available via Academic Free License >= 2.1 OR the modified BSD license.
+ see: http://dojotoolkit.org/license for details
+*/
+
+
+if(!dojo._hasResource["dojox.highlight.languages.pygments.html"]){ //_hasResource checks added by build. Do not use _hasResource directly in your code.
+dojo._hasResource["dojox.highlight.languages.pygments.html"] = true;
+dojo.provide("dojox.highlight.languages.pygments.html");
+
+dojo.require("dojox.highlight._base");
+dojo.require("dojox.highlight.languages.pygments._html");
+
+(function(){
+ var dh = dojox.highlight, dhl = dh.languages, tags = [],
+ ht = dhl.pygments._html.tags;
+
+ for(var key in ht){
+ tags.push(key);
+ }
+ tags = "\\b(" + tags.join("|") + ")\\b";
+
+ dhl.html = {
+ case_insensitive: true,
+ defaultMode: {
+ contains: [
+ "name entity",
+ "comment", "comment preproc",
+ "_script", "_style", "_tag"
+ ]
+ },
+ modes: [
+ // comments
+ {
+ className: "comment",
+ begin: "<!--", end: "-->"
+ },
+ {
+ className: "comment preproc",
+ begin: "\\<\\!\\[CDATA\\[", end: "\\]\\]\\>"
+ },
+ {
+ className: "comment preproc",
+ begin: "\\<\\!", end: "\\>"
+ },
+
+ // strings
+ {
+ className: "string",
+ begin: "'", end: "'",
+ illegal: "\\n",
+ relevance: 0
+ },
+ {
+ className: "string",
+ begin: '"',
+ end: '"',
+ illegal: "\\n",
+ relevance: 0
+ },
+
+ // names
+ {
+ className: "name entity",
+ begin: "\\&[a-z]+;", end: "^"
+ },
+ {
+ className: "name tag",
+ begin: tags, end: "^",
+ relevance: 5
+ },
+ {
+ className: "name attribute",
+ begin: "\\b[a-z0-9_\\:\\-]+\\s*=", end: "^",
+ relevance: 0
+ },
+
+ {
+ className: "_script",
+ begin: "\\<script\\b", end: "\\</script\\>",
+ relevance: 5
+ },
+ {
+ className: "_style",
+ begin: "\\<style\\b", end: "\\</style\\>",
+ relevance: 5
+ },
+
+ {
+ className: "_tag",
+ begin: "\\<(?!/)", end: "\\>",
+ contains: ["name tag", "name attribute", "string", "_value"]
+ },
+ {
+ className: "_tag",
+ begin: "\\</", end: "\\>",
+ contains: ["name tag"]
+ },
+ {
+ className: "_value",
+ begin: "[^\\s\\>]+", end: "^"
+ }
+ ]
+ };
+})();
+
+}
|