[
https://issues.jenkins-ci.org/browse/JENKINS-850?page=com.atlassian.jira.plugin.system.issuetabpanels:comment-tabpanel&focusedCommentId=159474#comment-159474
]
dogfood commented on JENKINS-850:
---------------------------------
Integrated in !http://ci.jenkins-ci.org/images/16x16/blue.png!
[jenkins_main_trunk #1536|http://ci.jenkins-ci.org/job/jenkins_main_trunk/1536/]
[FIXED JENKINS-850] search box should match non-casesensitively. (Revision
42b1d25241bf79471e3eb0fc83172fca3e78ffbc)
Result = SUCCESS
Fred G :
[42b1d25241bf79471e3eb0fc83172fca3e78ffbc|https://github.com/jenkinsci/jenkins/commit/42b1d25241bf79471e3eb0fc83172fca3e78ffbc]
Files :
* core/src/main/java/hudson/search/CollectionSearchIndex.java
* core/src/main/java/hudson/search/Search.java
* core/src/main/java/hudson/search/FixedSet.java
* core/src/main/java/hudson/search/UserSearchProperty.java
> search box should match non-casesensitively
> -------------------------------------------
>
> Key: JENKINS-850
> URL: https://issues.jenkins-ci.org/browse/JENKINS-850
> Project: Jenkins
> Issue Type: Improvement
> Components: www
> Affects Versions: current
> Environment: Platform: All, OS: All
> Reporter: gradopado
>
> The search box would be even more useful if it would match text
> non-casesensitively.
--
This message is automatically generated by JIRA.
If you think it was sent incorrectly, please contact your JIRA administrators:
https://issues.jenkins-ci.org/secure/ContactAdministrators!default.jspa
For more information on JIRA, see: http://www.atlassian.com/software/jira
