1
0
Fork 0
mirror of https://github.com/eclipse-cdt/cdt synced 2025-08-28 18:53:20 +02:00

bug 205260: [terminal] The terminal does not take the font from the preferences

https://bugs.eclipse.org/bugs/show_bug.cgi?id=205260
This commit is contained in:
Michael Scharf 2007-10-13 03:28:26 +00:00
parent 524295c2fa
commit 2dce7a8d96

View file

@ -35,7 +35,7 @@ public class StyleMap {
private static final String RED = "red"; //$NON-NLS-1$
private static final String PREFIX = "org.eclipse.tm.internal."; //$NON-NLS-1$
// TODO propagate the name of the fonf in the FontRegistry
// TODO propagate the name of the font in the FontRegistry
String fFontName="terminal.views.view.font.definition"; //$NON-NLS-1$
Map fColorMap=new HashMap();
Map fFontMap=new HashMap();