[jbosstools-issues] [JBoss JIRA] Commented: (JBIDE-4572) Add "Case Sensitive" option in propertie file filter
Vitali Yemialyanchyk (JIRA)
jira-events at lists.jboss.org
Mon Jul 6 09:09:04 EDT 2009
[ https://jira.jboss.org/jira/browse/JBIDE-4572?page=com.atlassian.jira.plugin.system.issuetabpanels:comment-tabpanel&focusedCommentId=12475006#action_12475006 ]
Vitali Yemialyanchyk commented on JBIDE-4572:
---------------------------------------------
"Case sensitive" - this option look like excessive... I like just Case 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
More information about the jbosstools-issues
mailing list