📄 util.js
字号:
// some basic tools
function $(name){
var e=document.getElementById(name);
return e;
}
function showHip(text){
if(flag_hideAll==true)return;
$('hip').showHip(text);
}
function noNull(str){
if(str==null)return "";
if(typeof(str)=="undefined")return "";
return str;
}
function loadJsFile(url,id){
//读取一个javascript文件
var element = document.createElement("script");
element.type = "text/javascript";
element.src = url;
if(id!=null)element.id = id;
document.getElementsByTagName("head")[0].appendChild(element);
}
function mixIn(/*Object*/source,/*Object*/des){
// make the source's each prop to des
for(var i in source)
des[i]=source[i];
return des;
}
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -