@Override public void propertyChange(PropertyChangeEvent event) { Object source = event.getSource(); if (source instanceof IConsole && event.getProperty().equals(IBasicPropertyConstants.P_TEXT)) { if (source.equals(getConsole())) { updateTitle(); } } }
public void propertyChange(PropertyChangeEvent event) { Object source = event.getSource(); if (source instanceof IConsole && event.getProperty().equals(IBasicPropertyConstants.P_TEXT)) { if (source.equals(getConsole())) { updateTitle(); } } }
activateParticipants(fActiveConsole); updateTitle(); updateHelp();
activateParticipants(fActiveConsole); updateTitle(); updateHelp();