Attachment 145886 Details for Bug 287895 – fix

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

[patch] fix

clipboard.txt (text/plain), 1.14 KB, created by Steffen Pingel

on 2009-08-27 23:10:45 EDT

(hide)

Description:

Filename:

MIME Type:

Creator: Steffen Pingel

Created: 2009-08-27 23:10:45 EDT

Size: 1.14 KB

patch

obsolete

>### Eclipse Workspace Patch 1.0
>#P org.eclipse.mylyn.tasks.ui
>Index: src/org/eclipse/mylyn/internal/tasks/ui/editors/RichTextEditor.java
>===================================================================
>RCS file: /cvsroot/tools/org.eclipse.mylyn/org.eclipse.mylyn.tasks.ui/src/org/eclipse/mylyn/internal/tasks/ui/editors/RichTextEditor.java,v
>retrieving revision 1.8
>diff -u -r1.8 RichTextEditor.java
>--- src/org/eclipse/mylyn/internal/tasks/ui/editors/RichTextEditor.java	20 Aug 2009 00:36:38 -0000	1.8
>+++ src/org/eclipse/mylyn/internal/tasks/ui/editors/RichTextEditor.java	28 Aug 2009 03:10:47 -0000
>@@ -349,9 +349,13 @@
> 	}
> 
> 	private Font getFont() {
>-		IThemeManager themeManager = PlatformUI.getWorkbench().getThemeManager();
>-		Font font = themeManager.getCurrentTheme().getFontRegistry().get(CommonThemes.FONT_EDITOR_COMMENT);
>-		return font;
>+		if (mode == Mode.DEFAULT) {
>+			IThemeManager themeManager = PlatformUI.getWorkbench().getThemeManager();
>+			Font font = themeManager.getCurrentTheme().getFontRegistry().get(CommonThemes.FONT_EDITOR_COMMENT);
>+			return font;
>+		} else {
>+			return EditorUtil.TEXT_FONT;
>+		}
> 	}
> 
> 	public Mode getMode() {

Actions: View | Diff

Attachments on bug 287895: 145886 | 145887