@Override public void propertyChange(PropertyChangeEvent event) { if(event.getProperty().equals(IConsoleConstants.P_CONSOLE_OUTPUT_COMPLETE)) { fConsole.removePropertyChangeListener(this); consoleClosed(); } }
@Override public void propertyChange(PropertyChangeEvent event) { if(event.getProperty().equals(IConsoleConstants.P_CONSOLE_OUTPUT_COMPLETE)) { fConsole.removePropertyChangeListener(this); consoleClosed(); } }