Make sure the title bar for the current game is always current.

[remoteglot] / www / js / remoteglot.js

diff --git a/www/js/remoteglot.js b/www/js/remoteglot.js
index 5f0531e74acac670c33ba4d8464f99f0c1e86353..4ea184287805bdf2a201c7017e7b7837fc6f05dd 100644 (file)
--- a/www/js/remoteglot.js
+++ b/www/js/remoteglot.js
@@ -890,21 +890,31 @@ var update_game_list = function(games) {
 
                var game_name = document.createTextNode(game['name']);
                if (game['url'] === backend_url) {
+                       // This game.
                        game_span.appendChild(game_name);
+
+                       var score;
+                       if (current_analysis_data['position']['result']) {
+                               score = " (" + current_analysis_data['position']['result'] + ")";
+                       } else {
+                               score = " (" + format_short_score(current_analysis_data['score']) + ")";
+                       }
+                       game_span.appendChild(document.createTextNode(score));
                } else {
+                       // Some other game.
                        var game_a = document.createElement("a");
                        game_a.setAttribute("href", "#" + game['id']);
                        game_a.appendChild(game_name);
                        game_span.appendChild(game_a);
-               }
 
-               var score;
-               if (game['result']) {
-                       score = " (" + game['result'] + ")";
-               } else {
-                       score = " (" + format_short_score(game['score']) + ")";
+                       var score;
+                       if (game['result']) {
+                               score = " (" + game['result'] + ")";
+                       } else {
+                               score = " (" + format_short_score(game['score']) + ")";
+                       }
+                       game_span.appendChild(document.createTextNode(score));
                }
-               game_span.appendChild(document.createTextNode(score));
 
                games_div.appendChild(game_span);
        }
@@ -1085,7 +1095,7 @@ var update_board = function() {
        update_clock();
 
        // The score.
-       if (current_display_line) {
+       if (current_display_line && !current_display_line_is_history) {
                if (current_display_line.score) {
                        $("#score").text(format_long_score(current_display_line.score));
                } else {