📄 html.js
字号:
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: "^" } ] };})();}
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -