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

Max Rydahl Andersen (JIRA) jira-events at lists.jboss.org
Mon Jun 15 13:23:57 EDT 2009


     [ https://jira.jboss.org/jira/browse/JBIDE-4465?page=com.atlassian.jira.plugin.system.issuetabpanels:all-tabpanel ]

Max Rydahl Andersen updated JBIDE-4465:
---------------------------------------

    Fix Version/s: 3.1.0.M4
         Priority: Minor  (was: Major)


Cool, but not critical feature. Anyone care to contribute a patch ?

> 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
>            Assignee: Viacheslav Kabanovich
>            Priority: Minor
>             Fix For: 3.1.0.M4
>
>
> 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

        



More information about the jbosstools-issues mailing list