From 3eb853154ffb50cb9156ae9bb91c9f5420b1aa25 Mon Sep 17 00:00:00 2001 From: Ajay Date: Sun, 24 Sep 2023 19:01:41 -0400 Subject: [PATCH] Remove unnecessary translation string --- public/_locales | 2 +- public/options/options.html | 2 +- src/options.ts | 3 +++ 3 files changed, 5 insertions(+), 2 deletions(-) diff --git a/public/_locales b/public/_locales index f85b7b92..f0c65158 160000 --- a/public/_locales +++ b/public/_locales @@ -1 +1 @@ -Subproject commit f85b7b926e33a41a47c91a5ae1d5e1415fc1ef6c +Subproject commit f0c6515881c65a0f5bee9317d1ac22717985776e diff --git a/public/options/options.html b/public/options/options.html index e99ad571..8f1f6b47 100644 --- a/public/options/options.html +++ b/public/options/options.html @@ -415,7 +415,7 @@
- +
diff --git a/src/options.ts b/src/options.ts index 8f89ecde..965c9840 100644 --- a/src/options.ts +++ b/src/options.ts @@ -85,6 +85,9 @@ async function init() { }); } + const skipToHighlightKeybind = document.querySelector(`[data-sync="skipToHighlightKeybind"] .optionLabel`) as HTMLElement; + skipToHighlightKeybind.innerText = `${chrome.i18n.getMessage("skip_to_category").replace("{0}", chrome.i18n.getMessage("category_poi_highlight")).replace("?", "")}:`; + // Set all of the toggle options to the correct option const optionsContainer = document.getElementById("options"); const optionsElements = optionsContainer.querySelectorAll("*");