Get rid of some more unneeded jQuery.

[remoteglot] / www / js / remoteglot.js

diff --git a/www/js/remoteglot.js b/www/js/remoteglot.js
index 687b48426b20b9fc0f557a984ffe1dbede583e83..2d74a3953483c85497e75265a81b14d556e69161 100644 (file)
--- a/www/js/remoteglot.js
+++ b/www/js/remoteglot.js
@@ -104,7 +104,7 @@ var highlight_from = undefined;
 var highlight_to = undefined;
 
 /** The HTML object of the move currently being highlighted (in red).
- * @type {?jQuery}
+ * @type {?Element}
  * @private */
 var highlighted_move = null;
 
@@ -1676,7 +1676,7 @@ var show_line = function(line_num, move_num) {
                update_board();
                return;
        } else {
-               current_display_line = jQuery.extend({}, display_lines[line_num]);  // Shallow clone.
+               current_display_line = {...display_lines[line_num]};  // Shallow clone.
                current_display_move = move_num + current_display_line.start_display_move_num;
        }
        current_display_line_is_history = (line_num == 0);