More simplification in print_pv().

diff --git a/www/js/remoteglot.js b/www/js/remoteglot.js
index 3667f5975ae440155d7e6071519af8b498e5fcd9..5314a5681dbbbfbf7c589cd253b1179388988777 100644 (file)
--- a/www/js/remoteglot.js
+++ b/www/js/remoteglot.js
@@ -733,16 +733,15 @@ function print_pv(line_num, splicepos, opt_limit, opt_showlast) {
        }
 
        let ret = document.createDocumentFragment();
-       let i = 0;
        let in_tb = false;
-       let link = document.createElement('a');
-       link.className = 'move';
        if (opt_limit && opt_showlast && pv.length > opt_limit) {
                // Truncate the PV at the beginning (instead of at the end).
                // We assume here that toplay is 'W'. We also assume that if
                // opt_showlast is set, then it is the history, and thus,
                // the UI should be to expand the history.
                ret.appendChild(document.createTextNode('('));
+               let link = document.createElement('a');
+               link.className = 'move';
                link.href = 'javascript:collapse_history(false)';
                link.textContent = '…';
                ret.appendChild(link);
@@ -755,8 +754,8 @@ function print_pv(line_num, splicepos, opt_limit, opt_showlast) {
        } else if (toplay == 'B' && pv.length > 0) {
                ret.appendChild(document.createTextNode(move_num + '. … '));
        }
-       for ( ; i < pv.length; ++i) {
-               link = document.createElement('a');
+       for (let i = 0; i < pv.length; ++i) {
+               let link = document.createElement('a');
                link.className = 'move';
                link.setAttribute('id', 'automove' + line_num + '-' + i);
                link.textContent = pv[i];
@@ -777,10 +776,7 @@ function print_pv(line_num, splicepos, opt_limit, opt_showlast) {
                                ret.appendChild(document.createTextNode(' (…)'));
                                return ret;
                        }
-                       if (ret != '') {
-                               ret.appendChild(document.createTextNode(' '));
-                       }
-                       ret.appendChild(document.createTextNode(move_num + '. '));
+                       ret.appendChild(document.createTextNode(' ' + move_num + '. '));
                        ++move_num;
                        toplay = 'B';
                } else {