[jbosstools-issues] [JBoss JIRA] (JBIDE-22379) Server editor: closing it before the widgets are enabled ends up in "widget disposed" error

[Viacheslav Kabanovich (JIRA)]

    [ https://issues.jboss.org/browse/JBIDE-22379?page=com.atlassian.jira.plugin.system.issuetabpanels:comment-tabpanel&focusedCommentId=13240275#comment-13240275 ] 

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)