From 9a545eb6633b293822771f6ae5c6530780513142 Mon Sep 17 00:00:00 2001 From: Mango0x45 Date: Fri, 14 May 2021 13:39:56 +0200 Subject: Add a settings page and make Jerrin happy --- main.js | 17 ----------------- 1 file changed, 17 deletions(-) (limited to 'main.js') diff --git a/main.js b/main.js index ae7f1d3..3cf8d05 100644 --- a/main.js +++ b/main.js @@ -100,20 +100,3 @@ function parse_time(event) if (document.getElementById("startobj").value && document.getElementById("endobj").value) compute(); } - -/* Change the users preferred theme. */ -function change_theme() -{ - const theme_switch = document.getElementById("page_theme"); - const want = theme_switch.checked ? "dark" : "light"; - - document.documentElement.setAttribute("theme", want); - localStorage.setItem("theme", want); -} - -/* Automatically select the users preferred theme */ -const theme = localStorage.getItem("theme"); -if (theme) { - document.documentElement.setAttribute("theme", theme); - document.getElementById("page_theme").checked = (theme == "dark"); -} -- cgit v1.2.3