📄 global.js
字号:
CodeHighlighter.init = function() { if (!document.getElementsByTagName) return; if ("a".replace(/a/, function() {return "b"}) != "b") return; // throw out Safari versions that don't support replace function // throw out older browsers var codeEls = document.getElementsByTagName("CODE"); // collect array of all pre elements codeEls.filter = function(f) { var a = new Array; for (var i = 0; i < this.length; i++) if (f(this[i])) a[a.length] = this[i]; return a; } var rules = new Array; rules.toString = function() { // joins regexes into one big parallel regex var exps = new Array; for (var i = 0; i < this.length; i++) exps.push(this[i].exp); return exps.join("|"); } function addRule(className, rule) { // add a replace rule var exp = (typeof rule.exp != "string")?String(rule.exp).substr(1, String(rule.exp).length-2):rule.exp; // converts regex rules to strings and chops of the slashes rules.push({ className : className, exp : "(" + exp + ")", length : (exp.match(/(^|[^\\])\([^?]/g) || "").length + 1, // number of subexps in rule replacement : rule.replacement || null }); } function parse(text, ignoreCase) { // main text parsing and replacement return text.replace(new RegExp(rules, (ignoreCase)?"gi":"g"), function() { var i = 0, j = 1, rule; while (rule = rules[i++]) { if (arguments[j]) { // if no custom replacement defined do the simple replacement if (!rule.replacement) return "<span class=\"" + rule.className + "\">" + arguments[0] + "</span>"; else { // replace $0 with the className then do normal replaces var str = rule.replacement.replace("$0", rule.className); for (var k = 1; k <= rule.length - 1; k++) str = str.replace("$" + k, arguments[j + k]); return str; } } else j+= rule.length; } }); } function highlightCode(styleSet) { // clear rules array var parsed; rules.length = 0; // get stylable elements by filtering out all code elements without the correct className var stylableEls = codeEls.filter(function(item) {return (item.className.indexOf(styleSet.name)>=0)}); // add style rules to parser for (var className in styleSet.rules) addRule(className, styleSet.rules[className]); // replace for all elements for (var i = 0; i < stylableEls.length; i++) { // EVIL hack to fix IE whitespace badness if it's inside a <pre> if (/MSIE/.test(navigator.appVersion) && stylableEls[i].parentNode.nodeName == 'PRE') { stylableEls[i] = stylableEls[i].parentNode; parsed = stylableEls[i].innerHTML.replace(/(<code[^>]*>)([^<]*)<\/code>/i, function() { return arguments[1] + parse(arguments[2], styleSet.ignoreCase) + "</code>" }); parsed = parsed.replace(/\n( *)/g, function() { var spaces = ""; for (var i = 0; i < arguments[1].length; i++) spaces+= " "; return "\n" + spaces; }); parsed = parsed.replace(/\t/g, " "); parsed = parsed.replace(/\n(<\/\w+>)?/g, "<br />$1").replace(/<br \/>[\n\r\s]*<br \/>/g, "<p><br></p>"); } else parsed = parse(stylableEls[i].innerHTML, styleSet.ignoreCase); stylableEls[i].innerHTML = parsed; } } // run highlighter on all stylesets for (var i in this.styleSets) highlightCode(this.styleSets[i]);}CodeHighlighter.addStyle("javascript",{ comment : { exp : /(\/\/[^\n]*\n)|(\/\*[^*]*\*+([^\/][^*]*\*+)*\/)/ }, brackets : { exp : /\(|\)/ }, string : { exp : /'[^']*'|"[^"]*"/ }, keywords : { exp : /\b(arguments|break|case|continue|default|delete|do|else|false|for|function|if|in|instanceof|new|null|return|switch|this|true|typeof|var|void|while|with)\b/ }, global : { exp : /\b(toString|valueOf|window|element|prototype|constructor|document|escape|unescape|parseInt|parseFloat|setTimeout|clearTimeout|setInterval|clearInterval|NaN|isNaN|Infinity)\b/ }});CodeHighlighter.addStyle("html", { comment : { exp: /<!\s*(--([^-]|[\r\n]|-[^-])*--\s*)>/ }, tag : { exp: /(<\/?)([a-zA-Z]+\s?)/, replacement: "$1<span class=\"$0\">$2</span>" }, string : { exp : /'[^']*'|"[^"]*"/ }, attribute : { exp: /\b([a-zA-Z-:]+)(=)/, replacement: "<span class=\"$0\">$1</span>$2" }, doctype : { exp: /<!DOCTYPE([^&]|&[^g]|&g[^t])*>/ }});CodeHighlighter.addStyle("css", { comment : { exp : /\/\*[^*]*\*+([^\/][^*]*\*+)*\// }, keywords : { exp : /@\w[\w\s]*/ }, selectors : { exp : "([\\w-:\\[.#][^{};>]*)(?={)" }, properties : { exp : "([\\w-]+)(?=\\s*:)" }, units : { exp : /([0-9])(em|en|px|%|pt)\b/, replacement : "$1<span class=\"$0\">$2</span>" }, urls : { exp : /url\([^\)]*\)/ } });//////////////////// scroll ////////////////////////////////////////////////////////////////////////////jQuery.getPos = function (e){ var l = 0; var t = 0; var w = jQuery.intval(jQuery.css(e,'width')); var h = jQuery.intval(jQuery.css(e,'height')); var wb = e.offsetWidth; var hb = e.offsetHeight; while (e.offsetParent){ l += e.offsetLeft + (e.currentStyle?jQuery.intval(e.currentStyle.borderLeftWidth):0); t += e.offsetTop + (e.currentStyle?jQuery.intval(e.currentStyle.borderTopWidth):0); e = e.offsetParent; } l += e.offsetLeft + (e.currentStyle?jQuery.intval(e.currentStyle.borderLeftWidth):0); t += e.offsetTop + (e.currentStyle?jQuery.intval(e.currentStyle.borderTopWidth):0); return {x:l, y:t, w:w, h:h, wb:wb, hb:hb};};jQuery.getClient = function(e){ if (e) { w = e.clientWidth; h = e.clientHeight; } else { w = (window.innerWidth) ? window.innerWidth : (document.documentElement && document.documentElement.clientWidth) ? document.documentElement.clientWidth : document.body.offsetWidth; h = (window.innerHeight) ? window.innerHeight : (document.documentElement && document.documentElement.clientHeight) ? document.documentElement.clientHeight : document.body.offsetHeight; } return {w:w,h:h};};jQuery.getScroll = function (e) { if (e) { t = e.scrollTop; l = e.scrollLeft; w = e.scrollWidth; h = e.scrollHeight; } else { if (document.documentElement && document.documentElement.scrollTop) { t = document.documentElement.scrollTop; l = document.documentElement.scrollLeft; w = document.documentElement.scrollWidth; h = document.documentElement.scrollHeight; } else if (document.body) { t = document.body.scrollTop; l = document.body.scrollLeft; w = document.body.scrollWidth; h = document.body.scrollHeight; } } return { t: t, l: l, w: w, h: h };};jQuery.intval = function (v){ v = parseInt(v); return isNaN(v) ? 0 : v;};jQuery.fn.ScrollTo = function(s) { o = jQuery.speed(s); return this.each(function(){ new jQuery.fx.ScrollTo(this, o); });};jQuery.fx.ScrollTo = function (e, o){ var z = this; z.o = o; z.e = e; z.p = jQuery.getPos(e); z.s = jQuery.getScroll(); z.clear = function(){clearInterval(z.timer);z.timer=null}; z.t=(new Date).getTime(); z.step = function(){ var t = (new Date).getTime(); var p = (t - z.t) / z.o.duration; if (t >= z.o.duration+z.t) { z.clear(); setTimeout(function(){z.scroll(z.p.y, z.p.x)},13); } else { st = ((-Math.cos(p*Math.PI)/2) + 0.5) * (z.p.y-z.s.t) + z.s.t; sl = ((-Math.cos(p*Math.PI)/2) + 0.5) * (z.p.x-z.s.l) + z.s.l; z.scroll(st, sl); } }; z.scroll = function (t, l){window.scrollTo(l, t)}; z.timer=setInterval(function(){z.step();},13);};
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -