Details
-
Bug
-
Status: Resolved
-
Major
-
Resolution: Fixed
-
None
-
None
-
None
Description
It would be great if the quick search dialog could display a big warning or information text right above the result list, saying that you are searching in case-sensitive or non-case-sensitive mode. This would help to make people aware of this setting in the quick search and would also help to avoid frustration about missing search results because of the wrong case-sensitive setting.