diff -urN ../htmllint.orig/htmllint.html ./htmllint.html --- ../htmllint.orig/htmllint.html Fri Sep 28 13:50:00 2012 +++ ./htmllint.html Tue Dec 24 01:10:00 2013 @@ -439,16 +439,36 @@ { if (noClear) return; var obj = "document.forms[0].elements['"+name+"']"; + var cli = "MethodClick('"+name+"'); "; document.writeln(' '); } + +function MethodClick(name) +{ + var f = document.forms[0]; + for (var i = 0; i < f.Method.length; i++) { + var m = f.Method[i]; + if (m.value == name) { m.click(); break; } + } +} + +function MethodChange(reset) +{ + if (noClear) return; + var f = document.forms[0]; + for (var i = 0; i < f.Method.length; i++) { + var m = f.Method[i]; + f.elements[m.value].disabled = !(reset? m.defaultChecked: m.checked); + } +} //--> - +