[jbosstools-issues] [JBoss JIRA] Commented: (JBIDE-4465) Search in JBoss Tools Properties Editor
[
https://jira.jboss.org/jira/browse/JBIDE-4465?page=com.atlassian.jira.plu...
]
Adrian Mitev commented on JBIDE-4465:
-------------------------------------
I also need such functionality. Krasimir, how about opening a new feature request for
this?
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.
--
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