aboutsummaryrefslogtreecommitdiff
path: root/html/options.html
diff options
context:
space:
mode:
Diffstat (limited to 'html/options.html')
-rw-r--r--html/options.html1
1 files changed, 1 insertions, 0 deletions
diff --git a/html/options.html b/html/options.html
index 03978c7..092327a 100644
--- a/html/options.html
+++ b/html/options.html
@@ -123,6 +123,7 @@
</li>
</div>
+ <!-- Mind the show_*s ids below - their format is assumed in js code -->
<input type="radio" name="tabs" id="show_pages" checked></input>
<input type="radio" name="tabs" id="show_bags"></input>
<input type="radio" name="tabs" id="show_scripts"></input>
td> 2020-03-18gnu: gnunet-gtk: Update to 0.12.0....Tanguy Le Carrour 2020-03-18gnu: gnunet: Update to 0.12.2....Tanguy Le Carrour 2020-03-04Merge branch 'master' into core-updatesMarius Bakke 2020-02-16gnu: libmicrohttpd: Update to 0.9.70....Tobias Geerinckx-Rice 2020-02-14Merge branch 'master' into core-updatesMarius Bakke 2020-02-11gnu: libextractor: Build with the latest ffmpeg....Marius Bakke