1718192021222324252627
monitor.setCanceled(true); Display.getDefault().asyncExec(new Runnable() { public void run() { PydevConsoleFactory pydevConsoleFactory = new PydevConsoleFactory(); pydevConsoleFactory.openConsole(); } }); } }