📄 hge.js
字号:
if (window==top) top.location.replace("../index.html?"+window.location.href.substring(window.location.href.lastIndexOf('/')+1));
function setContents(filename) {
if(top.frames["cont"]) {
if(top.cont.location.href.indexOf(filename) == -1)
top.cont.location.replace(filename);
}
}
function switchContents(filename1, filename2) {
if(top.frames["cont"]) {
if(top.cont.location.href.indexOf(filename2) == -1)
{ top.cont.location.replace(filename2); }
else
{ top.cont.location.replace(filename1); }
}
}
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -