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