From 81da14ca7313fa12109180ebcc996e39141ebda0 Mon Sep 17 00:00:00 2001
From: Rene Saarsoo <nene@triin.net>
Date: Thu, 7 Dec 2023 20:41:45 +0200
Subject: [PATCH] Update demo page: add dataTypeCase and functionCase

---
 static/index.html | 16 ++++++++++++++++
 static/index.js   |  6 ++++++
 2 files changed, 22 insertions(+)

diff --git a/static/index.html b/static/index.html
index 752d2bb863..98e15698ae 100644
--- a/static/index.html
+++ b/static/index.html
@@ -83,6 +83,22 @@ <h3 style="margin: 0.5rem 0">Options</h3>
               <option value="lower">Lower</option>
             </select>
           </article>
+          <article class="config">
+            <label for="dataTypeCase">Data type case:</label>
+            <select id="dataTypeCase">
+              <option value="preserve">Preserve</option>
+              <option value="upper">Upper</option>
+              <option value="lower">Lower</option>
+            </select>
+          </article>
+          <article class="config">
+            <label for="functionCase">Function case:</label>
+            <select id="functionCase">
+              <option value="preserve">Preserve</option>
+              <option value="upper">Upper</option>
+              <option value="lower">Lower</option>
+            </select>
+          </article>
           <article class="config">
             <label for="identifierCase">Identifier case:</label>
             <select id="identifierCase">
diff --git a/static/index.js b/static/index.js
index 3765aaef7e..f07fc5dde6 100644
--- a/static/index.js
+++ b/static/index.js
@@ -7,6 +7,8 @@ const attachFormat = () => {
   const tabWidth = document.getElementById('tabWidth');
   const useTabs = document.getElementById('useTabs');
   const keywordCase = document.getElementById('keywordCase');
+  const dataTypeCase = document.getElementById('dataTypeCase');
+  const functionCase = document.getElementById('functionCase');
   const identifierCase = document.getElementById('identifierCase');
   const indentStyle = document.getElementById('indentStyle');
   const logicalOperatorNewline = document.getElementById('logicalOperatorNewline');
@@ -34,6 +36,8 @@ const attachFormat = () => {
         tabWidth: tabWidth.value,
         useTabs: useTabs.checked,
         keywordCase: keywordCase.options[keywordCase.selectedIndex].value,
+        dataTypeCase: dataTypeCase.options[dataTypeCase.selectedIndex].value,
+        functionCase: functionCase.options[functionCase.selectedIndex].value,
         identifierCase: identifierCase.options[identifierCase.selectedIndex].value,
         indentStyle: indentStyle.options[indentStyle.selectedIndex].value,
         logicalOperatorNewline:
@@ -70,6 +74,8 @@ const attachFormat = () => {
     tabWidth,
     useTabs,
     keywordCase,
+    dataTypeCase,
+    functionCase,
     identifierCase,
     indentStyle,
     logicalOperatorNewline,