Simplify pager-text generation.

(It's still pretty darned opaque, though.)

diff --git a/tools/htdocs/mkws.js b/tools/htdocs/mkws.js
index 6d77237..aedef95 100644 (file)
--- a/tools/htdocs/mkws.js
+++ b/tools/htdocs/mkws.js
@@ -637,7 +637,7 @@ function team($, teamName) {
 
     function drawPager (pagerDiv, data)
     {
-       pagerDiv.innerHTML ='<div style="float: right">' + M('Displaying') + ': '
+       var s = '<div style="float: right">' + M('Displaying') + ': '
            + (data.start + 1) + ' ' + M('to') + ' ' + (data.start + data.num) +
            ' ' + M('of') + ' ' + data.merged + ' (' + M('found') + ': '
            + data.total + ')</div>';
@@ -682,8 +682,9 @@ function team($, teamName) {
        if (lastClkbl < pages)
             postdots = '...';
 
-       pagerDiv.innerHTML += '<div style="float: clear">'
+       s += '<div style="float: clear">'
             + prev + predots + middle + postdots + next + '</div>';
+       pagerDiv.innerHTML = s;
     }