Attachment 195121 Details for Bug 345180 – Fix

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

[patch] Fix

patch.txt (text/plain), 1.54 KB, created by Markus Keller

on 2011-05-09 14:23:24 EDT

(hide)

Description:

Filename:

MIME Type:

Creator: Markus Keller

Created: 2011-05-09 14:23:24 EDT

Size: 1.54 KB

patch

obsolete

>### Eclipse Workspace Patch 1.0
>#P org.eclipse.ui.editors
>Index: src/org/eclipse/ui/internal/editors/text/AnnotationsConfigurationBlock.java
>===================================================================
>RCS file: /cvsroot/eclipse/org.eclipse.ui.editors/src/org/eclipse/ui/internal/editors/text/AnnotationsConfigurationBlock.java,v
>retrieving revision 1.32
>diff -u -r1.32 AnnotationsConfigurationBlock.java
>--- src/org/eclipse/ui/internal/editors/text/AnnotationsConfigurationBlock.java	7 Oct 2010 09:11:38 -0000	1.32
>+++ src/org/eclipse/ui/internal/editors/text/AnnotationsConfigurationBlock.java	9 May 2011 18:15:50 -0000
>@@ -1,5 +1,5 @@
> /*******************************************************************************
>- * Copyright (c) 2000, 2010 IBM Corporation and others.
>+ * Copyright (c) 2000, 2011 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
>@@ -608,6 +608,11 @@
> 		if (data.height > SIZE || data.width > SIZE) {
> 			// scale down to icon size
> 			copy= new Image(Display.getCurrent(), data.scaledTo(SIZE, SIZE));
>+
>+	    } else if (data.height == SIZE && data.width == SIZE) {
>+	    	// nothing to scale, simply copy
>+	        copy= new Image(image.getDevice(), image, SWT.IMAGE_COPY);
>+
> 		} else {
> 			// don't scale up, but rather copy into the middle and mark everything else transparent
> 			ImageData mask= data.getTransparencyMask();

Actions: View | Diff

Attachments on bug 345180: 195121 | 195746