[
https://issues.jboss.org/browse/JBIDE-22379?page=com.atlassian.jira.plugi...
]
Viacheslav Kabanovich commented on JBIDE-22379:
-----------------------------------------------
If there is an opportunity to merge the PR to base, then the PR to openshift is not
needed. Otherwise, the PR to openshift solves the issue, and the PR to base may be merged
at a future convenience.
Server editor: closing it before the widgets are enabled ends up in
"widget disposed" error
-------------------------------------------------------------------------------------------
Key: JBIDE-22379
URL:
https://issues.jboss.org/browse/JBIDE-22379
Project: Tools (JBoss Tools)
Issue Type: Bug
Components: openshift
Affects Versions: 4.4.0.Alpha1
Reporter: Andre Dietisheim
Priority: Critical
Labels: openshift_v3, server_adapter_editor
Fix For: 4.4.0.Alpha2
Attachments: widget-disposed.png
--
This message was sent by Atlassian JIRA
(v6.4.11#64026)