From 6354851909749d9741d520ead2d1f9e517df3548 Mon Sep 17 00:00:00 2001
From: r00ster91 <r00ster91@proton.me>
Date: Sat, 6 Aug 2022 15:05:58 +0200
Subject: [PATCH] fix: "dialog" -> "modal"

"Dialog" is the incorrect term here because a dialog is a separate window that still lets you use the app
but a modal is a window where you can't continue using the app until you close it.
---
 lib/docs/index.html | 11 +++++------
 lib/docs/main.js    |  2 +-
 2 files changed, 6 insertions(+), 7 deletions(-)

diff --git a/lib/docs/index.html b/lib/docs/index.html
index dbcb54288..5d6f38186 100644
--- a/lib/docs/index.html
+++ b/lib/docs/index.html
@@ -294,7 +294,6 @@
         padding: 1px 1em;
       }
 
-      /* help dialog */
       .help-modal {
         display: flex;
         width: 100%;
@@ -308,7 +307,7 @@
         backdrop-filter: blur(0.3em);
       }
 
-      .help-modal > .dialog {
+      .help-modal > .modal {
         max-width: 97vw;
         max-height: 97vh;
         overflow: auto;
@@ -707,12 +706,12 @@
         <div class="flex-filler"></div>
       </div>
     </div>
-    <div id="helpDialog" class="hidden">
+    <div id="helpModal" class="hidden">
       <div class="help-modal">
-        <div class="dialog">
+        <div class="modal">
           <h1>Keyboard Shortcuts</h1>
-          <dl><dt><kbd>?</kbd></dt><dd>Show this help dialog</dd></dl>
-          <dl><dt><kbd>Esc</kbd></dt><dd>Clear focus; close this dialog</dd></dl>
+          <dl><dt><kbd>?</kbd></dt><dd>Show this help modal</dd></dl>
+          <dl><dt><kbd>Esc</kbd></dt><dd>Clear focus; close this modal</dd></dl>
           <dl><dt><kbd>s</kbd></dt><dd>Focus the search field</dd></dl>
           <dl><dt><kbd>↑</kbd></dt><dd>Move up in search results</dd></dl>
           <dl><dt><kbd>↓</kbd></dt><dd>Move down in search results</dd></dl>
diff --git a/lib/docs/main.js b/lib/docs/main.js
index 2bb796f49..55546ce05 100644
--- a/lib/docs/main.js
+++ b/lib/docs/main.js
@@ -48,7 +48,7 @@ var zigAnalysis;
   let domPrivDeclsBox = document.getElementById("privDeclsBox");
   let domTdZigVer = document.getElementById("tdZigVer");
   let domHdrName = document.getElementById("hdrName");
-  let domHelpModal = document.getElementById("helpDialog");
+  let domHelpModal = document.getElementById("helpModal");
 
   let searchTimer = null;