Attachment 97026 Details for Bug 205474 – Patch to keep new behaviour but revert to system fonts in HC

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

[patch] Patch to keep new behaviour but revert to system fonts in HC

patch205474.txt (text/plain), 1.68 KB, created by Kevin McGuire

on 2008-04-22 10:49:16 EDT

(hide)

Description:

Filename:

MIME Type:

Creator: Kevin McGuire

Created: 2008-04-22 10:49:16 EDT

Size: 1.68 KB

patch

obsolete

>### Eclipse Workspace Patch 1.0
>#P org.eclipse.ui.workbench
>Index: Eclipse UI/org/eclipse/ui/internal/themes/ThemeElementHelper.java
>===================================================================
>RCS file: /cvsroot/eclipse/org.eclipse.ui.workbench/Eclipse UI/org/eclipse/ui/internal/themes/ThemeElementHelper.java,v
>retrieving revision 1.19
>diff -u -r1.19 ThemeElementHelper.java
>--- Eclipse UI/org/eclipse/ui/internal/themes/ThemeElementHelper.java	3 Dec 2007 20:07:25 -0000	1.19
>+++ Eclipse UI/org/eclipse/ui/internal/themes/ThemeElementHelper.java	22 Apr 2008 14:42:56 -0000
>@@ -21,6 +21,7 @@
> import org.eclipse.jface.resource.JFaceResources;
> import org.eclipse.swt.graphics.FontData;
> import org.eclipse.swt.graphics.RGB;
>+import org.eclipse.swt.widgets.Display;
> import org.eclipse.ui.internal.Workbench;
> import org.eclipse.ui.internal.WorkbenchPlugin;
> import org.eclipse.ui.themes.ITheme;
>@@ -109,8 +110,14 @@
>                     .getInstance().getDisplay());
> 		} else {
>             // values pushed in from jface property files.  Very ugly.
>-			defaultFont = registry.bestDataArray(JFaceResources.getFontRegistry().getFontData(id),
>-                    Workbench.getInstance().getDisplay());
>+			Display display = Workbench.getInstance().getDisplay();
>+			
>+			//If in high contrast, ignore the defaults in jface and return the theme system font.
>+			//This is a hack to address bug #205474. See bug #228207 for a future fix.
>+			FontData[] fontData = display.getHighContrast()
>+				? registry.getFontData(key)
>+				: JFaceResources.getFontRegistry().getFontData(id);
>+			defaultFont = registry.bestDataArray(fontData, display);
>         }
> 
>         if (setInRegistry) {

Actions: View | Diff

Attachments on bug 205474: 79751 | 97026 | 97481