mirrors/cdt
1
0
Fork 0
mirror of https://github.com/eclipse-cdt/cdt synced 2025-04-23 14:42:11 +02:00
Code Issues Wiki Activity

[181868] Terminal does not use the font set in the preference after restart of eclipse

Browse source
This commit is contained in:
Michael Scharf 2007-04-11 16:38:30 +00:00
parent 572bf57a40
commit c0580c4fe0
1 changed files with 1 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

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

@ -355,6 +355,7 @@ public class TerminalView extends ViewPart implements ITerminalView, ITerminalLi
setupListeners(wndParent);
onTerminalStatus();
onTerminalFontChanged();
}
public void dispose() {