[jbosstools-issues] [JBoss JIRA] Created: (JBIDE-4467) JBoss Tools Properties Editor - wrong selection in source tab
Vitali Yemialyanchyk (JIRA)
jira-events at lists.jboss.org
Wed Jun 10 11:35:56 EDT 2009
JBoss Tools Properties Editor - wrong selection in source tab
-------------------------------------------------------------
Key: JBIDE-4467
URL: https://jira.jboss.org/jira/browse/JBIDE-4467
Project: Tools (JBoss Tools)
Issue Type: Bug
Components: common
Affects Versions: 3.1.0.M1, 3.0.1.GA
Reporter: Vitali Yemialyanchyk
Priority: Minor
open some .properties file,
select top property,
press "Down", "Down", "Down",
switch to Soure - wrong property selected,
switch to Properties,
then switch to Soure - right property selected.
--
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