diff options
Diffstat (limited to 'src/pages/options')
-rw-r--r-- | src/pages/options/general/general.html | 5 | ||||
-rw-r--r-- | src/pages/options/general/general.js | 7 |
2 files changed, 11 insertions, 1 deletions
diff --git a/src/pages/options/general/general.html b/src/pages/options/general/general.html index fcee2089..acacc59f 100644 --- a/src/pages/options/general/general.html +++ b/src/pages/options/general/general.html @@ -110,6 +110,11 @@ </div> <div class="some-block option-block"> + <h4>Auto Redirect of offline instances</h4> + <input id="auto-redirect" type="checkbox" checked /> + </div> + + <div class="some-block option-block"> <h4>Exceptions</h4> </div> diff --git a/src/pages/options/general/general.js b/src/pages/options/general/general.js index f65fa290..54a1fd19 100644 --- a/src/pages/options/general/general.js +++ b/src/pages/options/general/general.js @@ -62,6 +62,11 @@ alwaysUsePreferredElement.addEventListener("change", event => generalHelper.setAlwaysUsePreferred(event.target.checked) ); +let autoRedirectElement = document.getElementById("auto-redirect") +autoRedirectElement.addEventListener("change", + event => generalHelper.setAutoRedirect(event.target.checked) +); + let applyThemeToSitesElement = document.getElementById("apply-theme-to-sites") applyThemeToSitesElement.addEventListener("change", event => generalHelper.setApplyThemeToSites(event.target.checked) @@ -92,7 +97,7 @@ for (const frontend of generalHelper.allPopupFrontends) generalHelper.init().then(() => { alwaysUsePreferredElement.checked = generalHelper.getAlwaysUsePreferred(); - console.log("alwaysUsePreferredElement.checked", alwaysUsePreferredElement.checked); + autoRedirectElement.checked = generalHelper.getAutoRedirect(); themeElement.value = generalHelper.getTheme(); applyThemeToSitesElement.checked = generalHelper.getApplyThemeToSites(); instanceTypeElement.addEventListener("change", |