X-Git-Url: http://git.argeo.org/?a=blobdiff_plain;ds=inline;f=plugins%2Forg.argeo.slc.client.ui.dist%2Fsrc%2Fmain%2Fjava%2Forg%2Fargeo%2Fslc%2Fclient%2Fui%2Fdist%2FDistImages.java;h=d2756ff8a3fee9bef318eca022a694c65e99946b;hb=e2ad359a9b5d3822dcc2ad0576070fc46e2847d8;hp=f88b8a95eef4b181b4f8e2fc51b0ac5f3275a4f1;hpb=1c6b701cce4c42f5643a97ec81565032a869a42d;p=gpl%2Fargeo-slc.git

diff --git a/plugins/org.argeo.slc.client.ui.dist/src/main/java/org/argeo/slc/client/ui/dist/DistImages.java b/plugins/org.argeo.slc.client.ui.dist/src/main/java/org/argeo/slc/client/ui/dist/DistImages.java
index f88b8a95e..d2756ff8a 100644
--- a/plugins/org.argeo.slc.client.ui.dist/src/main/java/org/argeo/slc/client/ui/dist/DistImages.java
+++ b/plugins/org.argeo.slc.client.ui.dist/src/main/java/org/argeo/slc/client/ui/dist/DistImages.java
@@ -19,6 +19,7 @@ import org.eclipse.swt.graphics.Image;
 
 /** Shared icons. */
 public class DistImages {
+
 	public final static Image IMG_ARTIFACT_BASE = DistPlugin
 			.getImageDescriptor("icons/artifactBase.gif").createImage();
 	public final static Image IMG_ARTIFACT_VERSION_BASE = DistPlugin
@@ -26,7 +27,23 @@ public class DistImages {
 	public final static Image IMG_FILE = DistPlugin.getImageDescriptor(
 			"icons/file.gif").createImage();
 
-	/** Icons to handle check boxes */
+	/* WORKSPACES */
+	public final static Image IMG_WKSP = DistPlugin.getImageDescriptor(
+			"icons/distribution_perspective.gif").createImage();
+
+	/* REPOSITORIES */
+	public final static Image IMG_REPO = DistPlugin.getImageDescriptor(
+			"icons/repo.gif").createImage();
+	public final static Image IMG_REPO_READONLY = DistPlugin
+			.getImageDescriptor("icons/repoReadOnly.gif").createImage();
+	public final static Image IMG_ADD_REPO = DistPlugin.getImageDescriptor(
+			"icons/addRepo.gif").createImage();
+	public final static Image IMG_REMOVE_REPO = DistPlugin.getImageDescriptor(
+			"icons/artifactBase.gif").createImage();
+	public final static Image IMG_FETCH_REPO = DistPlugin.getImageDescriptor(
+			"icons/fetchRepo.png").createImage();
+
+	/* CHECK BOXES */
 	public final static Image CHECKED = DistPlugin.getImageDescriptor(
 			"icons/checked.gif").createImage();
 	public final static Image UNCHECKED = DistPlugin.getImageDescriptor(