1
0
Fork 0
mirror of https://github.com/eclipse-cdt/cdt synced 2025-07-23 17:05:26 +02:00

Patch from Benoit Miller for Bug 148436 - Cannot change default text color in Makefile editor

This commit is contained in:
Anton Leherbauer 2006-07-03 14:25:07 +00:00
parent ed64c1a6f9
commit 82bc1b486e
2 changed files with 3 additions and 1 deletions

View file

@ -1,5 +1,5 @@
/*******************************************************************************
* Copyright (c) 2002, 2005 QNX Software Systems and others.
* Copyright (c) 2002, 2006 QNX Software Systems and others.
* All rights reserved. This program and the accompanying materials
* are made available under the terms of the Eclipse Public License v1.0
* which accompanies this distribution, and is available at
@ -213,6 +213,7 @@ public class MakefileEditorPreferencePage extends AbstractMakefileEditorPreferen
{MakefilePreferencesMessages.getString("MakefileEditorPreferencePage.makefile_editor_macro_def"), ColorManager.MAKE_MACRO_DEF_COLOR, null}, //$NON-NLS-1$
{MakefilePreferencesMessages.getString("MakefileEditorPreferencePage.makefile_editor_function"), ColorManager.MAKE_FUNCTION_COLOR, null}, //$NON-NLS-1$
{MakefilePreferencesMessages.getString("MakefileEditorPreferencePage.makefile_editor_keyword"), ColorManager.MAKE_KEYWORD_COLOR, null}, //$NON-NLS-1$
{MakefilePreferencesMessages.getString("MakefileEditorPreferencePage.makefile_editor_default"), ColorManager.MAKE_DEFAULT_COLOR, null}, //$NON-NLS-1$
};
ArrayList overlayKeys= new ArrayList();

View file

@ -51,6 +51,7 @@ MakefileEditorPreferencePage.makefile_editor_macro_ref=macro reference
MakefileEditorPreferencePage.makefile_editor_function=function
MakefileEditorPreferencePage.makefile_editor_keyword=keyword
MakefileEditorPreferencePage.makefile_editor_target=target
MakefileEditorPreferencePage.makefile_editor_default=default
MakefileSettingsPreferencePage.style=Style of Makefile
MakefileSettingsPreferencePage.path.label=Makefile include directories