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