Attachment 91055 Details for Bug 220745 – updated patch

Some Eclipse Foundation services are deprecated, or will be soon. Please ensure you've read this important communication.

[patch] updated patch

patch.txt (text/plain), 3.78 KB, created by Jacek Pospychala

on 2008-02-28 16:21:45 EST

(hide)

Description:

Filename:

MIME Type:

Creator: Jacek Pospychala

Created: 2008-02-28 16:21:45 EST

Size: 3.78 KB

patch

obsolete

>### Eclipse Workspace Patch 1.0
>#P org.eclipse.pde.ui
>Index: src/org/eclipse/pde/internal/ui/editor/text/ColorManager.java
>===================================================================
>RCS file: /cvsroot/eclipse/org.eclipse.pde.ui/src/org/eclipse/pde/internal/ui/editor/text/ColorManager.java,v
>retrieving revision 1.18
>diff -u -r1.18 ColorManager.java
>--- src/org/eclipse/pde/internal/ui/editor/text/ColorManager.java	16 Jan 2008 17:07:55 -0000	1.18
>+++ src/org/eclipse/pde/internal/ui/editor/text/ColorManager.java	28 Feb 2008 21:17:33 -0000
>@@ -18,6 +18,7 @@
> import org.eclipse.jface.util.PropertyChangeEvent;
> import org.eclipse.pde.internal.ui.PDEPlugin;
> import org.eclipse.swt.SWT;
>+import org.eclipse.swt.SWTException;
> import org.eclipse.swt.graphics.Color;
> import org.eclipse.swt.graphics.RGB;
> import org.eclipse.swt.widgets.Display;
>@@ -41,7 +42,13 @@
> 	}
> 
> 	public static void initializeDefaults(IPreferenceStore store) {
>-		PreferenceConverter.setDefault(store, P_DEFAULT, DEFAULT);
>+		boolean highContrast = false;
>+		try {
>+			highContrast = Display.getDefault().getHighContrast();
>+		} catch (SWTException e) { // keep highContrast = false
>+		}
>+
>+		PreferenceConverter.setDefault(store, P_DEFAULT, highContrast ? DEFAULT_HIGH_CONTRAST : DEFAULT);
> 		PreferenceConverter.setDefault(store, P_PROC_INSTR, PROC_INSTR);
> 		PreferenceConverter.setDefault(store, P_STRING, STRING);
> 		PreferenceConverter.setDefault(store, P_EXTERNALIZED_STRING, EXTERNALIZED_STRING);
>@@ -50,8 +57,8 @@
> 		PreferenceConverter.setDefault(store, P_HEADER_KEY, HEADER_KEY);
> 		PreferenceConverter.setDefault(store, P_HEADER_OSGI, HEADER_OSGI);
> 		store.setDefault(P_HEADER_OSGI + IPDEColorConstants.P_BOLD_SUFFIX, true);
>-		PreferenceConverter.setDefault(store, P_HEADER_VALUE, HEADER_VALUE);
>-		PreferenceConverter.setDefault(store, P_HEADER_ATTRIBUTES, HEADER_ATTRIBUTES);
>+		PreferenceConverter.setDefault(store, P_HEADER_VALUE, highContrast ? HEADER_VALUE_HIGH_CONTRAST : HEADER_VALUE);
>+		PreferenceConverter.setDefault(store, P_HEADER_ATTRIBUTES, highContrast ? HEADER_ASSIGNMENT_HIGH_CONTRAST : HEADER_ATTRIBUTES);
> 		store.setDefault(P_HEADER_ATTRIBUTES + IPDEColorConstants.P_ITALIC_SUFFIX, true);
> 		PreferenceConverter.setDefault(store, P_HEADER_ASSIGNMENT, HEADER_ASSIGNMENT);
> 	}
>Index: src/org/eclipse/pde/internal/ui/editor/text/IPDEColorConstants.java
>===================================================================
>RCS file: /cvsroot/eclipse/org.eclipse.pde.ui/src/org/eclipse/pde/internal/ui/editor/text/IPDEColorConstants.java,v
>retrieving revision 1.21
>diff -u -r1.21 IPDEColorConstants.java
>--- src/org/eclipse/pde/internal/ui/editor/text/IPDEColorConstants.java	28 Feb 2008 16:27:39 -0000	1.21
>+++ src/org/eclipse/pde/internal/ui/editor/text/IPDEColorConstants.java	28 Feb 2008 21:17:33 -0000
>@@ -1,5 +1,5 @@
> /*******************************************************************************
>- * Copyright (c) 2000, 2008 IBM Corporation and others.
>+ * Copyright (c) 2000, 2006 IBM Corporation 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
>@@ -18,11 +18,14 @@
> 	RGB STRING = new RGB(0, 128, 0);
> 	RGB EXTERNALIZED_STRING = new RGB(128, 0, 128);
> 	RGB DEFAULT = new RGB(0, 0, 0);
>+	RGB DEFAULT_HIGH_CONTRAST = new RGB(255, 255, 255);
> 	RGB TAG = new RGB(0, 0, 128);
> 
> 	RGB HEADER_KEY = new RGB(128, 0, 0);
> 	RGB HEADER_VALUE = new RGB(0, 0, 0);
>+	RGB HEADER_VALUE_HIGH_CONTRAST = new RGB(255, 255, 255);
> 	RGB HEADER_ASSIGNMENT = new RGB(0, 0, 0);
>+	RGB HEADER_ASSIGNMENT_HIGH_CONTRAST = new RGB(255, 255, 255);
> 	RGB HEADER_OSGI = new RGB(128, 0, 0);
> 	RGB HEADER_ATTRIBUTES = new RGB(128, 128, 0);
>

Actions: View | Diff

Attachments on bug 220745: 91055