Andre Dietisheim created JBIDE-22414: ---------------------------------------- Summary: Server editor: closing it before the widgets are enabled ends up in "widget disposed" error Key: JBIDE-22414 URL: https://issues.jboss.org/browse/JBIDE-22414 Project: Tools (JBoss Tools) Issue Type: Bug Components: openshift Affects Versions: 4.4.0.Alpha1 Reporter: Andre Dietisheim Assignee: Viacheslav Kabanovich Priority: Critical Fix For: 4.4.0.Alpha2 -- This message was sent by Atlassian JIRA (v6.4.11#64026)