[jbosstools-issues] [JBoss JIRA] Commented: (JBIDE-4465) Search in JBoss Tools Properties Editor

Search in JBoss Tools Properties Editor --------------------------------------- Key: JBIDE-4465 URL: https://jira.jboss.org/jira/browse/JBIDE-4465 Project: Tools (JBoss Tools) Issue Type: Feature Request Components: common Affects Versions: 3.0.1.GA, 3.1.0.M1 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.