[jbosstools-issues] [JBoss JIRA] Created: (JBIDE-4465) Search in properties editor

[Adrian Mitev (JIRA)]

Search in properties editor
---------------------------

                 Key: JBIDE-4465
                 URL: https://jira.jboss.org/jira/browse/JBIDE-4465
             Project: Tools (JBoss Tools)
          Issue Type: Feature Request
            Reporter: Adrian Mitev


If the properties file is big and there are a lot of entries there it's hard to locate an entry using the editor. A search that matches keys by starting string would be very useful.

Another good feature - if i select a property in the Source tab and then i switch to the Properties tab the property to be selected automatically by the editor.

-- 
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