From 3e24a835185eae56b2090c77ec7fb2db07fdc1e0 Mon Sep 17 00:00:00 2001 From: Michael Scharf Date: Sat, 13 Oct 2007 03:19:46 +0000 Subject: [PATCH] color pref was not set at startup --- .../eclipse/tm/internal/terminal/view/TerminalView.java | 8 +++----- 1 file changed, 3 insertions(+), 5 deletions(-) diff --git a/org.eclipse.tm.terminal.view/src/org/eclipse/tm/internal/terminal/view/TerminalView.java b/org.eclipse.tm.terminal.view/src/org/eclipse/tm/internal/terminal/view/TerminalView.java index e5d444e7920..364b202d961 100644 --- a/org.eclipse.tm.terminal.view/src/org/eclipse/tm/internal/terminal/view/TerminalView.java +++ b/org.eclipse.tm.terminal.view/src/org/eclipse/tm/internal/terminal/view/TerminalView.java @@ -122,13 +122,10 @@ public class TerminalView extends ViewPart implements ITerminalView, ITerminalLi private final IPropertyChangeListener fPreferenceListener=new IPropertyChangeListener() { public void propertyChange(PropertyChangeEvent event) { if(event.getProperty().equals(TerminalPreferencePage.PREF_LIMITOUTPUT) - || event.getProperty().equals(TerminalPreferencePage.PREF_BUFFERLINES)) { + || event.getProperty().equals(TerminalPreferencePage.PREF_BUFFERLINES) + || event.getProperty().equals(TerminalPreferencePage.PREF_INVERT_COLORS)) { updatePreferences(); } - if(event.getProperty().equals(TerminalPreferencePage.PREF_INVERT_COLORS)) { - Preferences preferences = TerminalViewPlugin.getDefault().getPluginPreferences(); - fCtlTerminal.setInvertedColors(preferences.getBoolean(TerminalPreferencePage.PREF_INVERT_COLORS)); - } } }; public TerminalView() { @@ -171,6 +168,7 @@ public class TerminalView extends ViewPart implements ITerminalView, ITerminalLi if(!limitOutput) bufferLineLimit=-1; fCtlTerminal.setBufferLineLimit(bufferLineLimit); + fCtlTerminal.setInvertedColors(preferences.getBoolean(TerminalPreferencePage.PREF_INVERT_COLORS)); } // TerminalTarget interface public void setState(final TerminalState state) {