From a129aafac7919c4513459c6e80121d300fbfaa44 Mon Sep 17 00:00:00 2001 From: Libor Polčák Date: Nov 23 2021 10:44:35 +0000 Subject: Development: Allow configuration modifications in options During development and debugging, it is sometimes beneficial to get access to the configuration of the extension. This patch allows to load and modify the configuration. --- diff --git a/common/options.css b/common/options.css index 9c69b17..ec3a274 100644 --- a/common/options.css +++ b/common/options.css @@ -262,3 +262,12 @@ input:checked + .slider:before { .notsupportedapis { display: none; } + +section#sect-devel { + display: none; +} + +#levels-storage-text { + width: 100%; + height: 50ex; +} diff --git a/common/options.html b/common/options.html index 3150593..c97ad2e 100644 --- a/common/options.html +++ b/common/options.html @@ -17,7 +17,7 @@ SPDX-License-Identifier: GPL-3.0-or-later