From 8276bd790a682ab276052946f66cb4d591ad0eb6 Mon Sep 17 00:00:00 2001 From: Alain Pitiot Date: Sun, 24 May 2020 14:23:00 +0200 Subject: [PATCH] replace jquery escapeSelector by CSS.escape since the latter is standard and the former is only available in jquery 3.0 --- js/core/GUI.js | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/js/core/GUI.js b/js/core/GUI.js index 7c34357..3301d81 100644 --- a/js/core/GUI.js +++ b/js/core/GUI.js @@ -130,7 +130,7 @@ export class GUI htmlCode += '
'; for (const key in dictionary) { const value = dictionary[key]; - const keyId = $.escapeSelector(key) + '_id'; + const keyId = CSS.escape(key) + '_id'; // only create an input if the key is not in the URL: let inUrl = false; @@ -200,7 +200,7 @@ export class GUI // setup change event handlers for all required keys: for (const key of this._requiredKeys) { - const keyId = $.escapeSelector(key) + '_id'; + const keyId = CSS.escape(key) + '_id'; const input = document.getElementById(keyId); if (input) input.oninput = (event) => GUI._onKeyChange(self, event); @@ -227,7 +227,7 @@ export class GUI // update dictionary: for (const key in dictionary) { - const input = document.getElementById($.escapeSelector(key) + "_id"); + const input = document.getElementById(CSS.escape(key) + "_id"); if (input) dictionary[key] = input.value; }