From: Steinar H. Gunderson <sgunderson@bigfoot.com>
Date: Thu, 22 Dec 2022 22:33:01 +0000 (+0100)
Subject: Get rid of some more unneeded jQuery.
X-Git-Url: https://git.sesse.net/?p=remoteglot;a=commitdiff_plain;h=d7ab74e30487b29f0b669106efcdeeba0e0bd3b7

Get rid of some more unneeded jQuery.
---

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);