From 6aed2a9cef059e1ce9af39a133369cb85b42b18f Mon Sep 17 00:00:00 2001 From: nobody Date: Sun, 5 Jul 2020 08:55:24 +0200 Subject: [PATCH] Hide incompatible options for Chromium based browsers --- pages/options/options.html | 2 +- pages/options/options.js | 4 ++++ 2 files changed, 5 insertions(+), 1 deletion(-) diff --git a/pages/options/options.html b/pages/options/options.html index 3bdc74b4..d913e933 100644 --- a/pages/options/options.html +++ b/pages/options/options.html @@ -109,7 +109,7 @@
-
+
Do not apply HTML filter to these domains:
Apply HTML filter to these domains:
diff --git a/pages/options/options.js b/pages/options/options.js index 9f9fe0ee..a7a2a7b8 100644 --- a/pages/options/options.js +++ b/pages/options/options.js @@ -42,6 +42,10 @@ options._renderContents = function () { options._renderLocaleNotice(); } + if(BrowserType.CHROMIUM) { + document.getElementById('html-filter-div').hidden = true; + } + }; options._renderOptionsPanel = function () {