From 30c5dfce00bb37bcdb820a98a371d181c3d3a117 Mon Sep 17 00:00:00 2001 From: Martin Splitt Date: Fri, 13 Jan 2023 06:04:51 +0000 Subject: [PATCH] HTML export: make element ids more consistent Signed-off-by: Martin Splitt Signed-off-by: Dirk Hohndel --- theme/dive_export.html | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/theme/dive_export.html b/theme/dive_export.html index 9c4119c96..5c4f71595 100644 --- a/theme/dive_export.html +++ b/theme/dive_export.html @@ -153,7 +153,7 @@ function set_search_dropdown(search_preference) document.getElementById("search_item_location").checked = search_preference.location; searchingModules["diveguide"].enabled = search_preference.diveguide; - document.getElementById("diveguide").checked = search_preference.diveguide; + document.getElementById("search_item_diveguide").checked = search_preference.diveguide; searchingModules["buddy"].enabled = search_preference.buddy; document.getElementById("search_item_Buddy").checked = search_preference.buddy; @@ -190,7 +190,7 @@ function changeAdvSearch(e){ Advanced search