Attachment 79751 Details for Bug 205474 – Patch to fix this problem based on HEAD

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

[patch] Patch to fix this problem based on HEAD

default_jface_resource_font.txt (text/plain), 1.32 KB, created by Matthew Hatem

on 2007-10-04 13:00:13 EDT

(hide)

Description:

Filename:

MIME Type:

Creator: Matthew Hatem

Created: 2007-10-04 13:00:13 EDT

Size: 1.32 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.17
>diff -u -r1.17 ThemeElementHelper.java
>--- Eclipse UI/org/eclipse/ui/internal/themes/ThemeElementHelper.java	12 Jul 2007 18:38:21 -0000	1.17
>+++ Eclipse UI/org/eclipse/ui/internal/themes/ThemeElementHelper.java	4 Oct 2007 16:54:55 -0000
>@@ -18,6 +18,7 @@
> import org.eclipse.jface.preference.PreferenceConverter;
> import org.eclipse.jface.resource.ColorRegistry;
> import org.eclipse.jface.resource.FontRegistry;
>+import org.eclipse.jface.resource.JFaceResources;
> import org.eclipse.swt.graphics.FontData;
> import org.eclipse.swt.graphics.RGB;
> import org.eclipse.ui.internal.Workbench;
>@@ -108,7 +109,7 @@
>                     .getInstance().getDisplay());
> 		} else {
>             // values pushed in from jface property files.  Very ugly.
>-            defaultFont = registry.bestDataArray(registry.getFontData(key),
>+			defaultFont = registry.bestDataArray(JFaceResources.getFontRegistry().getFontData(id),
>                     Workbench.getInstance().getDisplay());
>         }
>

Actions: View | Diff

Attachments on bug 205474: 79751 | 97026 | 97481