[jbosstools-issues] [JBoss JIRA] Commented: (JBIDE-4572) Add "Case Sensitive" option in propertie file filter

[Max Rydahl Andersen (JIRA)]

    [ https://jira.jboss.org/jira/browse/JBIDE-4572?page=com.atlassian.jira.plugin.system.issuetabpanels:comment-tabpanel&focusedCommentId=12475116#action_12475116 ] 

Max Rydahl Andersen commented on JBIDE-4572:
--------------------------------------------

im most for simply having case insensitive filter - the ui is very bulky as is so lets not add to it.

btw. in what usecase do you really need a insensitive filter ? 

> Add "Case Sensitive" option in propertie file filter
> ----------------------------------------------------
>
>                 Key: JBIDE-4572
>                 URL: https://jira.jboss.org/jira/browse/JBIDE-4572
>             Project: Tools (JBoss Tools)
>          Issue Type: Feature Request
>          Components: common
>            Reporter: Krasimir Goutcev
>            Assignee: Viacheslav Kabanovich
>             Fix For: 3.1.0.M4
>
>         Attachments: CaseSensitive.JPG
>
>


-- 
This message is automatically generated by JIRA.
-
If you think it was sent incorrectly contact one of the administrators: https://jira.jboss.org/jira/secure/Administrators.jspa
-
For more information on JIRA, see: http://www.atlassian.com/software/jira