Merge pull request #25 from dontnod/4.1/log-search-default-case-insen…

…sitive [DONTNOD] log search default to case-insensitive
dontnod · Oct 15, 2024 · 8f391e8 · 8f391e8
2 parents a79b902 + 1f3a929
commit 8f391e8
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/www/base/src/components/LogSearchField/LogSearchField.tsx b/www/base/src/components/LogSearchField/LogSearchField.tsx
@@ -34,7 +34,7 @@ export const LogSearchField = ({currentResult, totalResults,
                                 inputRef}: LogSearchButtonProps) => {
   const [searchText, setSearchText] = useState<string>('');
   const [hasFocus, setHasFocus] = useState<boolean>(false);
-  const [isCaseSensitive, setIsCaseSensitive] = useState<boolean>(true);
+  const [isCaseSensitive, setIsCaseSensitive] = useState<boolean>(false);
   const [useRegex, setUseRegex] = useState<boolean>(false);
 
   const onSearchTextChanged = (text: string) => {

diff --git a/www/base/src/components/LogViewer/LogTextManager.ts b/www/base/src/components/LogViewer/LogTextManager.ts
@@ -112,7 +112,7 @@ export class LogTextManager {
 
   // Current search string or null if no search is being performed at the moment
   searchString: string|null = null;
-  searchOptions: ChunkSearchOptions = {caseInsensitive: false, useRegex: false}
+  searchOptions: ChunkSearchOptions = {caseInsensitive: true, useRegex: false}
   // Valid only if searchString !== null. Indices are the same as this.chunks
   chunkSearchResults: ChunkSearchResults[] = [];
   // Valid only if searchString !== null