docs: add comment

2022-08-14 12:09:17 +02:00
parent 2723d8e6e2
commit e5379e5027
1 changed files with 1 additions and 0 deletions
--- a/lib/docs/main.js
+++ b/lib/docs/main.js
@@ -3148,6 +3148,7 @@ var zigAnalysis;
    domSearch.blur();
  }

+  // hide the modal if it's visible or return to the previous result page and unfocus the search
  function onEscape(ev) {
    if (!domHelpModal.classList.contains("hidden")) {
      domHelpModal.classList.add("hidden");