From d7ab74e30487b29f0b669106efcdeeba0e0bd3b7 Mon Sep 17 00:00:00 2001 From: "Steinar H. Gunderson" Date: Thu, 22 Dec 2022 23:33:01 +0100 Subject: [PATCH] Get rid of some more unneeded jQuery. --- build.sh | 2 +- www/js/remoteglot.js | 4 ++-- 2 files changed, 3 insertions(+), 3 deletions(-) diff --git a/build.sh b/build.sh index cab6aaa..848714a 100755 --- a/build.sh +++ b/build.sh @@ -11,7 +11,7 @@ umask 022 java -jar closure-compiler-v20221004.jar \ - --language_in ECMASCRIPT_2015 \ + --language_in ECMASCRIPT_2018 \ --compilation_level SIMPLE \ --js_output_file=www/js/remoteglot.min.js \ www/js/jquery-deprecated-sizzle.js \ diff --git a/www/js/remoteglot.js b/www/js/remoteglot.js index 687b484..2d74a39 100644 --- 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); -- 2.39.2