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

[Robert Paasche (JIRA)]

Robert Paasche created JBIDE-24021:
--------------------------------------

             Summary: 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


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)