📄 menu.js
字号:
// JavaScript Document
function loadPage(page){
var src=parent.document.all.mainFrame.src;
if(src.indexOf(page)==-1)
parent.document.all.mainFrame.src=page;
}
function switchMenuItem(obj,itemId){
if(obj.className=="menu_title"){
$hide("subItem_"+itemId);
obj.className="menu_title_close";
obj.title="单击展开";
}
else{
$show("subItem_"+itemId);
obj.className="menu_title";
obj.title="单击收拢";
}
}
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -