From dfe683dca5ec9ddfb1e90ce5ede0bdc4e0c8d306 Mon Sep 17 00:00:00 2001
From: Simon Cambier <simon.cambier@protonmail.com>
Date: Sun, 30 Oct 2022 19:54:37 +0100
Subject: [PATCH] retryWhenZeroResult now defaults to true

---
 src/settings.ts | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/src/settings.ts b/src/settings.ts
index b4eaf2f..1bfa861 100644
--- a/src/settings.ts
+++ b/src/settings.ts
@@ -134,7 +134,7 @@ export class SettingsTab extends PluginSettingTab {
     new Setting(containerEl)
       .setName('Retry queries that return zero result')
       .setDesc(
-        `When a query returns zero result, Omnisearch will try again (but harder). Enabling this may incur some freezes.`
+        `When a query returns zero result, Omnisearch will try again (but harder). Disabling this can improve search reactivity.`
       )
       .addToggle(toggle =>
         toggle.setValue(settings.retryWhenZeroResult).onChange(async v => {
@@ -273,7 +273,7 @@ export class SettingsTab extends PluginSettingTab {
       .setName(`Headings level 3 (default: ${DEFAULT_SETTINGS.weightH3})`)
       .addSlider(cb => this.weightSlider(cb, 'weightH3'))
 
-    // #endregion Results Weighting   
+    // #endregion Results Weighting
   }
 
   weightSlider(cb: SliderComponent, key: keyof WeightingSettings): void {
@@ -308,7 +308,7 @@ export const DEFAULT_SETTINGS: OmnisearchSettings = {
   showExcerpt: true,
   showCreateButton: false,
   showPreviousQueryResults: true,
-  retryWhenZeroResult: false,
+  retryWhenZeroResult: true,
 
   weightBasename: 2,
   weightH1: 1.5,