From a55cc66b3824eaca07120f839a6c01e9840f8646 Mon Sep 17 00:00:00 2001
From: Mike Taylor <mike@indexdata.com>
Date: Fri, 7 Feb 2014 17:23:10 +0000
Subject: [PATCH] Simplify pager-text generation. (It's still pretty darned
 opaque, though.)

---
 tools/htdocs/mkws.js |    5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/tools/htdocs/mkws.js b/tools/htdocs/mkws.js
index 6d77237..aedef95 100644
--- 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;
     }
 
 
-- 
1.7.10.4