From a7b0ebcc19a477a8e936496ac0c179d43d127cb4 Mon Sep 17 00:00:00 2001
From: Arthur Carcano <arthur.carcano@ocamlpro.com>
Date: Mon, 2 Jan 2023 18:29:32 +0100
Subject: [PATCH] In documentation, hide about section when searching

This commit hides the about section when the search bar is not empty,
making it more discoverable to users that search is indeed working and
they should look in the options section.
---
 docs/index.html | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/docs/index.html b/docs/index.html
index 4fa932d4c76..4bdf1805479 100644
--- a/docs/index.html
+++ b/docs/index.html
@@ -81,7 +81,7 @@
                   </select>
               </div>
             </div>
-            <div v-html="aboutHtml"></div>
+            <div v-if="isSearching" v-html="aboutHtml" id="about"></div>
             <div v-html="configurationAboutHtml"></div>
             <div v-html="outputHtml"></div>
           </article>
@@ -114,6 +114,10 @@
                 scrolledOnce: false,
               },
               asyncComputed: {
+                async isSearching() {
+                  // returns true if this.searchCondition contains text, false otherwise.
+                  return !this.searchCondition.trim()
+                },
                 async updateVersion() {
                   let latest;
                   try {