X-Git-Url: https://gerrit.simantics.org/r/gitweb?p=simantics%2Fplatform.git;a=blobdiff_plain;f=bundles%2Forg.simantics.utils.ui%2Fsrc%2Forg%2Fsimantics%2Futils%2Fui%2Fgfx%2FColorImageDescriptor.java;h=6c0f26d4e809bc3611898a4e9559e64a94e17707;hp=eca35f1fce9bd634689a8562344c1556488ab4f1;hb=399abb1d550786b9077895ea1587d3f556fb0ed0;hpb=0ae2b770234dfc3cbb18bd38f324125cf0faca07

diff --git a/bundles/org.simantics.utils.ui/src/org/simantics/utils/ui/gfx/ColorImageDescriptor.java b/bundles/org.simantics.utils.ui/src/org/simantics/utils/ui/gfx/ColorImageDescriptor.java
index eca35f1fc..6c0f26d4e 100644
--- a/bundles/org.simantics.utils.ui/src/org/simantics/utils/ui/gfx/ColorImageDescriptor.java
+++ b/bundles/org.simantics.utils.ui/src/org/simantics/utils/ui/gfx/ColorImageDescriptor.java
@@ -36,28 +36,44 @@ public class ColorImageDescriptor extends ImageDescriptor {
 		this.selected = selected;
 	}
 
+	@Override
+	public ImageData getImageData(int zoom) {
+		int w = width;
+		int h = height;
+		if (zoom > 100) {
+			float s = zoom / 100.0f;
+			w = Math.round(width * s);
+			h = Math.round(height * s);
+		}
+		return getImageData(w, h);
+	}
+
 	@Override
 	public ImageData getImageData() {
-        ImageData id = new ImageData(width, height, 24, PALETTEDATA);
-        int cx = width / 2;
-        int cy = height / 2;
-        int dst = height * width / 23;
-        for (int x=0; x<width; x++) {
-            for (int y=0; y<height; y++) {
-                int color = c;
-                boolean border = x==0||x==width-1||y==0||y==height-1;
-                if ( border ) color = 0;
-                if (selected) {
-                	int dist = (x-cx)*(x-cx)+(y-cy)*(y-cy);
-                	if ( dist < dst ) color = 0xcccccc; 
-                }
-                id.setPixel(x, y, color);
-            }
-        }
-        
+		return getImageData(100);
+	}
+
+	private ImageData getImageData(int width, int height) {
+		ImageData id = new ImageData(width, height, 24, PALETTEDATA);
+		int cx = width / 2;
+		int cy = height / 2;
+		int dst = height * width / 23;
+		for (int x=0; x<width; x++) {
+			for (int y=0; y<height; y++) {
+				int color = c;
+				boolean border = x==0||x==width-1||y==0||y==height-1;
+				if ( border ) color = 0;
+				if (selected) {
+					int dist = (x-cx)*(x-cx)+(y-cy)*(y-cy);
+					if ( dist < dst ) color = 0xcccccc; 
+				}
+				id.setPixel(x, y, color);
+			}
+		}
+
 		return id;
 	}
-	
+
 	@Override
 	public int hashCode() {
 		return c + 7*width + 13*height + (selected?234234:4235);