📄 whfts.js
字号:
// WebHelp 5.10.001var gaFileMapping = new Array();var gaFileTopicMapping = new Array();function fileMapping(sStartKey, sEndKey, sFileName){ this.sStartKey = sStartKey; this.sEndKey = sEndKey; this.sFileName = sFileName; this.aFtsKeys = null;}function fileTopicMapping(nIdBegin, nIdEnd, sFileName){ this.nBegin = nIdBegin; this.nEnd = nIdEnd; this.sFileName = sFileName; this.aTopics = null;}function iWM(sStartKey, sEndKey, sFileName){ gaFileMapping[gaFileMapping.length] = new fileMapping(sStartKey, sEndKey, sFileName); }function window_OnLoad(){ if (parent && parent != this && parent.ftsReady) { parent.ftsReady(gaFileMapping, gaFileTopicMapping); } }function iTM(nIdBegin, nIdEnd, sFileName){ gaFileTopicMapping[gaFileTopicMapping.length] = new fileTopicMapping(nIdBegin, nIdEnd, sFileName); }window.onload = window_OnLoad;
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -