mirrors/cdt
1
0
Fork 0
mirror of https://github.com/eclipse-cdt/cdt synced 2025-08-01 13:25:45 +02:00
Code Issues Wiki Activity

color pref was not set at startup

Browse source
This commit is contained in:
Michael Scharf 2007-10-13 03:19:46 +00:00
parent 7fa5d0ab1e
commit 3e24a83518
1 changed files with 3 additions and 5 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

8
org.eclipse.tm.terminal.view/src/org/eclipse/tm/internal/terminal/view/TerminalView.java
View file

@ -122,13 +122,10 @@ public class TerminalView extends ViewPart implements ITerminalView, ITerminalLi
private final IPropertyChangeListener fPreferenceListener=new IPropertyChangeListener() { private final IPropertyChangeListener fPreferenceListener=new IPropertyChangeListener() {
public void propertyChange(PropertyChangeEvent event) { public void propertyChange(PropertyChangeEvent event) {
if(event.getProperty().equals(TerminalPreferencePage.PREF_LIMITOUTPUT) 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(); updatePreferences();
} }
if(event.getProperty().equals(TerminalPreferencePage.PREF_INVERT_COLORS)) {
Preferences preferences = TerminalViewPlugin.getDefault().getPluginPreferences();
fCtlTerminal.setInvertedColors(preferences.getBoolean(TerminalPreferencePage.PREF_INVERT_COLORS));
}
} }
}; };
public TerminalView() { public TerminalView() {
@ -171,6 +168,7 @@ public class TerminalView extends ViewPart implements ITerminalView, ITerminalLi
if(!limitOutput) if(!limitOutput)
bufferLineLimit=-1; bufferLineLimit=-1;
fCtlTerminal.setBufferLineLimit(bufferLineLimit); fCtlTerminal.setBufferLineLimit(bufferLineLimit);
fCtlTerminal.setInvertedColors(preferences.getBoolean(TerminalPreferencePage.PREF_INVERT_COLORS));
} }
// TerminalTarget interface // TerminalTarget interface
public void setState(final TerminalState state) { public void setState(final TerminalState state) {