[jbosstools-issues] [JBoss JIRA] (JBIDE-12580) Explorer is not refreshed while deleting the domain if you close and reopen OpenShift Explorer

[Andre Dietisheim (JIRA)]

Andre Dietisheim created JBIDE-12580:
----------------------------------------

             Summary: Explorer is not refreshed while deleting the domain if you close and reopen OpenShift Explorer
                 Key: JBIDE-12580
                 URL: https://issues.jboss.org/browse/JBIDE-12580
             Project: Tools (JBoss Tools)
          Issue Type: Bug
          Components: openshift
    Affects Versions: 4.0.0.Alpha2
            Reporter: Andre Dietisheim
            Assignee: Xavier Coulon
             Fix For: 4.0.0.Alpha2




--
This message is automatically generated by JIRA.
If you think it was sent incorrectly, please contact your JIRA administrators
For more information on JIRA, see: http://www.atlassian.com/software/jira