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

[Josef Kopriva (JIRA)]

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

Josef Kopriva closed JBIDE-22243.
---------------------------------


I was also not able to reproduce.

Verified in:
Red Hat Developer Studio
Version: 12.0.0.GA
Build id: GA-v20180625-0945-B2861
Build date: 20180625-0945

> 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)