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