-
Type:
Bug
-
Status: Closed (View Workflow)
-
Priority:
Major
-
Resolution: Rejected
-
Affects Version/s: 4.4.3.Final
-
Fix Version/s: 4.4.4.AM2
-
Component/s: common
-
Labels:None
-
Sprint:devex #129 March 2017
-
Story Points:8
-
Steps to Reproduce:
- open properties file
- pull changes from git
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.