some eslint-related fixes

1 files changed, 1 insertions, 1 deletions

diff --git a/js/dict.js b/js/dict.js
index 8db1718..88bd154 100644
--- a/js/dict.js
+++ b/js/dict.js
@@ -4,7 +4,7 @@ $(document).ready(function() {
 	$(window).on("mouseup touchend", function() {
 		if (!navigator.onLine) return;
 
-		var sel = getSelection().toString().trim();
+		const sel = getSelection().toString().trim();
 
 		if (sel.match(/^\w+$/)) {
 			parent.dict_lookup(sel, function() {