📄 commons.js
字号:
var $puid = function () {var base = "$" + new Date().getTime() + "$c";var puid = 1;return function () {return base + (puid++);};}();Function.prototype.bind = function () {var __method = this;var args = Array.prototype.slice.call(arguments, 0);var object = args.shift();return function () {return __method.apply(object, args);};};Array.prototype.contains = function (arg) {for (var i = this.length - 1; i >= 0; i--) {if (this[i] == arg) {return true;}}return false;};String.prototype.trim = function () {return this.replace(/^\s*|\s*$/g, "");};String.prototype.equalsIgnoreCase = function (target) {if (target != null && target.length == this.length && target.toLowerCase) {return this == target || this.toLowerCase() == target.toLowerCase();} else {return false;}};
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -