2e89890f85c7ee52bc6d3a16adcb4def7d8919d7 larrym Thu Mar 1 15:54:23 2012 -0800 "Error(s)" => "Warning/Error(s)" (#6842) diff --git src/lib/htmshell.c src/lib/htmshell.c index 464d3d4..88e3dfd 100644 --- src/lib/htmshell.c +++ src/lib/htmshell.c @@ -252,31 +252,31 @@ // "var app=navigator.appName.substr(0,9); " // "if(app == 'Microsoft') {warnBox.style.display='';} else {warnBox.style.display=''; warnBox.style.width='auto';}" fprintf(f, "<script type='text/javascript'>\n"); fprintf(f, "document.write(\"<center>" "<div id='warnBox' style='display:none; background-color:Beige; " "border: 3px ridge DarkRed; width:640px; padding:10px; margin:10px; " "text-align:left;'>" "<CENTER><B id='warnHead' style='color:DarkRed;'></B></CENTER>" "<UL id='warnList'></UL>" "<CENTER><button id='warnOK' onclick='hideWarnBox();return false;'></button></CENTER>" "</div></center>\");\n"); fprintf(f,"function showWarnBox() {" "document.getElementById('warnOK').innerHTML=' OK ';" "var warnBox=document.getElementById('warnBox');" "warnBox.style.display=''; warnBox.style.width='65%%';" - "document.getElementById('warnHead').innerHTML='Error(s):';" + "document.getElementById('warnHead').innerHTML='Warning/Error(s):';" "window.scrollTo(0, 0);" "}\n"); fprintf(f,"function hideWarnBox() {" "var warnBox=document.getElementById('warnBox');" "warnBox.style.display='none';warnBox.innerHTML='';" "var endOfPage = document.body.innerHTML.substr(document.body.innerHTML.length-20);" "if(endOfPage.lastIndexOf('-- ERROR --') > 0) { history.back(); }" "}\n"); // Note that the OK button goes to prev page when this page is interrupted by the error. fprintf(f,"window.onunload = function(){}; // Trick to avoid FF back button issue.\n"); fprintf(f,"</script>\n"); } void htmlVaWarn(char *format, va_list args) /* Write an error message. */ {