[ https://issues.jboss.org/browse/JBIDE-20014?page=com.atlassian.jira.plugi... ] Snjezana Peco edited comment on JBIDE-20014 at 6/19/15 10:40 AM: ----------------------------------------------------------------- The https://git.eclipse.org/r/50467 patch can be tested as follows: - import the org.eclipse.ui.workbench plugin with source code into JBoss Tools with OpenShift or import it from the Platform UI git repository - open PopupMenuExtender.java - add {code} if (Platform.WS_GTK.equals(Platform.getWS())) { cleanupNeeded = true; } {code} before line 366 (runCleanUp(realWorkbench)) or see the patch at https://git.eclipse.org/r/#/c/50467/1/bundles/org.eclipse.ui.workbench/Ec... - start a JBoss Tools PDE launch configuration - try to reproduce the issue (with and without the patch) was (Author: snjeza): The https://git.eclipse.org/r/50467 patch can be tested as follows: - import the org.eclipse.ui.workbench plugin with source code into JBoss Tools with OpenShift or import it from the Platform UI git repository - open PopupMenuExtender.java - add {code} if (Platform.WS_GTK.equals(Platform.getWS())) { cleanupNeeded = true; } {code} before line 366 (runCleanUp(realWorkbench);) or see the patch at https://git.eclipse.org/r/#/c/50467/1/bundles/org.eclipse.ui.workbench/Ec... - start a JBoss Tools PDE launch configuration - try to reproduce the issue (with and without the patch) -- This message was sent by Atlassian JIRA (v6.3.15#6346)