📄 errors.js
字号:
var infoList = new Array();var warnList = new Array();var errorList = new Array();function updateError(type) { with (document.options) { switch (type) { case 0: if (info.checked) parent.leftnav.document.options.info.value = 1; else parent.leftnav.document.options.info.value = 0; break; case 1: if (warn.checked) parent.leftnav.document.options.warn.value = 1; else parent.leftnav.document.options.warn.value = 0; break; case 2: if (error.checked) parent.leftnav.document.options.error.value = 1; else parent.leftnav.document.options.error.value = 0; break; } } parent.leftnav.showError();}function init() { if (!document.options) return; with (document.options) { if (parent.leftnav.document.options.info.value == 1) info.checked = 1; else info.checked = 0; if (parent.leftnav.document.options.warn.value == 1) warn.checked = 1; else warn.checked = 0; if (parent.leftnav.document.options.error.value == 1) error.checked = 1; else error.checked = 0; }}function showError(url) { parent.leftnav.showErrorLink(url); }
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -