]
Jeff MAURY updated JBIDE-24021:
-------------------------------
Sprint: devex #129 March 2017
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.