@Override
protected void ui_initStreamColors() {
super.ui_initStreamColors();
owned.add(ToolsConsolePrefs.INFO_COLOR.addPrefChangeListener(true, new IPrefChangeListener() {
@Override
public void handleChange() {
infoOut.setColor(ToolsConsolePrefs.INFO_COLOR.getManagedColor());
}
}));
owned.add(ToolsConsolePrefs.STDERR_COLOR.addPrefChangeListener(true, new IPrefChangeListener() {
@Override
public void handleChange() {
stdErr.setColor(ToolsConsolePrefs.STDERR_COLOR.getManagedColor());
}
}));
owned.add(ToolsConsolePrefs.STDOUT_COLOR.addPrefChangeListener(true, new IPrefChangeListener() {
@Override
public void handleChange() {
stdOut.setColor(ToolsConsolePrefs.STDOUT_COLOR.getManagedColor());
}
}));
owned.add(ToolsConsolePrefs.BACKGROUND_COLOR.addPrefChangeListener(true, new IPrefChangeListener() {
@Override
public void handleChange() {
setBackground(ToolsConsolePrefs.BACKGROUND_COLOR.getManagedColor());
}
}));