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 @@ -
+
@@ -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 {