[
https://issues.jboss.org/browse/JBIDE-24021?page=com.atlassian.jira.plugi...
]
Jeff MAURY commented on JBIDE-24021:
------------------------------------
Refresh is working in the Properties editor. You must check the Git settings that refresh
is done even if the workbench is not active.
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.
--
This message was sent by Atlassian JIRA
(v7.2.3#72005)