🔄 synced local '_extensions/rostools/r3-theme/' with remote '_extensi…

…ons/r3-theme/'
rostools · May 13, 2024 · 18bb337 · 18bb337
1 parent 6299ed7
commit 18bb337
Showing 1 changed file with 1 addition and 3 deletions.
diff --git a/_extensions/rostools/r3-theme/_extension.yml b/_extensions/rostools/r3-theme/_extension.yml
@@ -35,9 +35,7 @@ contributes:
       favicon: "favicon.ico"
       repo-branch: main
       repo-actions: [edit, issue, source]
-      search:
-        location: navbar
-        type: overlay
+      search: true
 
     execute:
       warning: false