[jbosstools-issues] [JBoss JIRA] (JBIDE-24021) Properties file are not reloaded
Jeff MAURY (JIRA)
issues at jboss.org
Tue Mar 21 06:05:00 EDT 2017
[ https://issues.jboss.org/browse/JBIDE-24021?page=com.atlassian.jira.plugin.system.issuetabpanels:comment-tabpanel&focusedCommentId=13381404#comment-13381404 ]
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)
More information about the jbosstools-issues
mailing list