[jbosstools-issues] [JBoss JIRA] (JBIDE-22243) Properties: "Refresh" has no effect

[Andre Dietisheim (JIRA)]

     [ https://issues.jboss.org/browse/JBIDE-22243?page=com.atlassian.jira.plugin.system.issuetabpanels:all-tabpanel ]

Andre Dietisheim resolved JBIDE-22243.
--------------------------------------
    Fix Version/s: 4.6.0.Final
                       (was: 4.6.x)
         Assignee: Andre Dietisheim
       Resolution: Cannot Reproduce
           Labels: properties refresh  (was: )


> Properties: "Refresh" has no effect
> -----------------------------------
>
>                 Key: JBIDE-22243
>                 URL: https://issues.jboss.org/browse/JBIDE-22243
>             Project: Tools (JBoss Tools)
>          Issue Type: Bug
>          Components: openshift
>    Affects Versions: 4.4.0.Alpha1
>            Reporter: Andre Dietisheim
>            Assignee: Andre Dietisheim
>              Labels: properties, refresh
>             Fix For: 4.6.0.Final
>
>         Attachments: refreshing-wont-help.ogv
>
>




--
This message was sent by Atlassian JIRA
(v7.5.0#75005)