From 73fe21b90887f112eb0e3c58550d8a9d97c3c3f6 Mon Sep 17 00:00:00 2001 From: tophf Date: Thu, 10 Feb 2022 05:48:39 +0300 Subject: [PATCH] limit to Chrome --- background/style-manager.js | 3 ++- options.html | 2 +- options/options.css | 7 ++++++- 3 files changed, 9 insertions(+), 3 deletions(-) diff --git a/background/style-manager.js b/background/style-manager.js index 82c9ce2c..fed12aee 100644 --- a/background/style-manager.js +++ b/background/style-manager.js @@ -184,7 +184,8 @@ const styleMan = (() => { }, }; } - const {exposeStyleName} = prefs.__values; + // TODO: enable in FF when it supports sourceURL comment in style elements (also options.html) + const {exposeStyleName} = CHROME && prefs.__values; const sender = CHROME && this && this.sender || {}; if (sender.frameId === 0) { /* Chrome hides text frament from location.href of the page e.g. #:~:text=foo diff --git a/options.html b/options.html index 3b62c0a0..cf7445c9 100644 --- a/options.html +++ b/options.html @@ -269,7 +269,7 @@ -