[jbosstools-issues] [JBoss JIRA] (JBIDE-24021) Properties file are not reloaded

Properties file are not reloaded -------------------------------- Key: JBIDE-24021 URL: https://issues.jboss.org/browse/JBIDE-24021 Project: Tools (JBoss Tools) Issue Type: Bug Components: common Affects Versions: 4.4.3.Final Reporter: Robert Paasche Assignee: Jeff MAURY Fix For: 4.4.4.AM2 After updating an open properties file with "git pull" the file isn't reloaded by the editor. This makes the editor useless in multi-developer environments. BTW. the egit plugin shows there are something changed (new line for example) on the left border.