Abstract control over checkboxs that disable stylesheet elements

diff --git a/src/pgwui_sql/static/pgwui_sql.js b/src/pgwui_sql/static/pgwui_sql.js
index 0647153ab5759af79ecd943176e1e21e0a4ad65c..230a477e54d51163b4882874cf45aba228c96178 100644 (file)
--- a/src/pgwui_sql/static/pgwui_sql.js
+++ b/src/pgwui_sql/static/pgwui_sql.js
@@ -52,8 +52,17 @@ function getTdSqltextSheet() {
             return sheet;
         }}}
 
-globalThis.tdSqltextSheet = getTdSqltextSheet();
-const show_spaces = document.getElementById('show_spaces_id');
-if (show_spaces !== null) {
-    whitespaceDisplay(show_spaces.checked);
+function initializeStyling() {
+    // Apply a checkbox when it exists
+    function applyCheckbox(id, initFunc) {
+        const elmt = document.getElementById(id);
+        if (elmt !== null) {
+            initFunc(elmt.checked);
+        }
+    }
+    applyCheckbox('show_spaces_id', whitespaceDisplay);
 }
+
+/* Initialization */
+globalThis.tdSqltextSheet = getTdSqltextSheet();
+initializeStyling();