fix: saving application preferences does not change content and editi…

…ng preferences anymore This fixes #192.
redimp · Jan 31, 2025 · 5b76af3 · 5b76af3
1 parent 80f1190
commit 5b76af3
Showing 1 changed file with 0 additions and 2 deletions.
diff --git a/otterwiki/preferences.py b/otterwiki/preferences.py
@@ -156,8 +156,6 @@ def handle_app_preferences(form):
         _update_preference(name.upper(), form.get(name, ""))
     for checkbox in [
         "hide_logo",
-        "retain_page_name_case",
-        "git_web_server",
     ]:
         _update_preference(checkbox.upper(), form.get(checkbox, "False"))
     # commit changes to the database