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

[ https://jira.jboss.org/jira/browse/JBIDE-4572?page=com.atlassian.jira.plu... ] 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 ? -- 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