jtidyservletreport.js

来自「过滤html代码」· JavaScript 代码 · 共 33 行

JS
33
字号
<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>

⌨️ 快捷键说明

复制代码Ctrl + C
搜索代码Ctrl + F
全屏模式F11
增大字号Ctrl + =
减小字号Ctrl + -
显示快捷键?