?? jtidyservletreport.js
字號:
<script type="text/javascript"> // @author Vlad Skarzhevskyy // @version $Revision: 1.3 $ ($Author: vlads $) var jTidyReportHighlightLastLineNum = null; function jTidyReportSetDefault(element) { if (element != null) { element.className = "JTidyReportSrcLineError"; } } function jTidyReportSetHighlight(element) { if (element != null) { element.className = "JTidyReportSrcLineErrorSelected"; } } function jTidyReportHighlight(lineNum) { if (jTidyReportHighlightLastLineNum != null) { jTidyReportSetDefault(document.getElementById(jTidyReportHighlightLastLineNum)); } var line = "srcline" + lineNum; jTidyReportSetHighlight(document.getElementById(line)); jTidyReportHighlightLastLineNum = line; }</script>?? 快捷鍵說明
復(fù)制代碼
Ctrl + C
搜索代碼
Ctrl + F
全屏模式
F11
切換主題
Ctrl + Shift + D
顯示快捷鍵
?
增大字號
Ctrl + =
減小字號
Ctrl + -