Attachment 155257 Details for Bug 56558 – Illustrative patch using styles - not meant to be applied

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

[patch] Illustrative patch using styles - not meant to be applied

patch SWT Font.txt (text/plain), 1.90 KB, created by Oleg Besedin

on 2010-01-04 13:25:42 EST

(hide)

Description:

Filename:

MIME Type:

Creator: Oleg Besedin

Created: 2010-01-04 13:25:42 EST

Size: 1.90 KB

patch

obsolete

>### Eclipse Workspace Patch 1.0
>#P org.eclipse.ui.ide.application
>Index: src/org/eclipse/ui/internal/ide/application/IDEWorkbenchAdvisor.java
>===================================================================
>RCS file: /cvsroot/eclipse/org.eclipse.ui.ide.application/src/org/eclipse/ui/internal/ide/application/IDEWorkbenchAdvisor.java,v
>retrieving revision 1.24
>diff -u -r1.24 IDEWorkbenchAdvisor.java
>--- src/org/eclipse/ui/internal/ide/application/IDEWorkbenchAdvisor.java	13 Oct 2009 09:28:11 -0000	1.24
>+++ src/org/eclipse/ui/internal/ide/application/IDEWorkbenchAdvisor.java	4 Jan 2010 18:25:10 -0000
>@@ -48,10 +48,14 @@
> import org.eclipse.swt.SWT;
> import org.eclipse.swt.events.SelectionAdapter;
> import org.eclipse.swt.events.SelectionEvent;
>+import org.eclipse.swt.graphics.Font;
>+import org.eclipse.swt.graphics.FontData;
> import org.eclipse.swt.widgets.Composite;
> import org.eclipse.swt.widgets.Display;
>+import org.eclipse.swt.widgets.Event;
> import org.eclipse.swt.widgets.Listener;
> import org.eclipse.swt.widgets.Shell;
>+import org.eclipse.swt.widgets.Tree;
> import org.eclipse.ui.PlatformUI;
> import org.eclipse.ui.application.IWorkbenchConfigurer;
> import org.eclipse.ui.application.IWorkbenchWindowConfigurer;
>@@ -160,6 +164,21 @@
> 	 * @see org.eclipse.ui.application.WorkbenchAdvisor#initialize
> 	 */
> 	public void initialize(IWorkbenchConfigurer configurer) {
>+		Font f = Display.getDefault().getSystemFont();
>+		FontData[] fontData = f.getFontData();
>+		for (int i = 0; i < fontData.length; i++) {
>+			fontData[i].setHeight(24);
>+		}
>+		final Font bigFont = new Font(Display.getDefault(), fontData);
>+
>+		Display.getDefault().addListener(SWT.Skin, new Listener() {
>+			
>+			public void handleEvent(Event event) {
>+				if (event.widget instanceof Tree) {
>+					((Tree)event.widget).setFont(bigFont);
>+				}
>+			}
>+		});
> 
> 		PluginActionBuilder.setAllowIdeLogging(true);
>

Actions: View | Diff

Attachments on bug 56558: 10444 | 10448 | 155257