X-Git-Url: https://gerrit.simantics.org/r/gitweb?p=simantics%2Fplatform.git;a=blobdiff_plain;f=bundles%2Forg.simantics.team.ui%2Fsrc%2Forg%2Fsimantics%2Fteam%2Finternal%2FImages.java;fp=bundles%2Forg.simantics.team.ui%2Fsrc%2Forg%2Fsimantics%2Fteam%2Finternal%2FImages.java;h=89352289d05f27bc0cf9a5fb83a9e2fb3d9c370e;hp=573fdef48faa706b56e3fe4b95f7d96712f78ae4;hb=0ae2b770234dfc3cbb18bd38f324125cf0faca07;hpb=24e2b34260f219f0d1644ca7a138894980e25b14

diff --git a/bundles/org.simantics.team.ui/src/org/simantics/team/internal/Images.java b/bundles/org.simantics.team.ui/src/org/simantics/team/internal/Images.java
index 573fdef48..89352289d 100644
--- a/bundles/org.simantics.team.ui/src/org/simantics/team/internal/Images.java
+++ b/bundles/org.simantics.team.ui/src/org/simantics/team/internal/Images.java
@@ -1,75 +1,75 @@
-package org.simantics.team.internal;
-
-import org.eclipse.jface.resource.LocalResourceManager;
-import org.eclipse.jface.resource.ResourceManager;
-import org.eclipse.swt.graphics.Image;
-import org.simantics.team.Activator;
-
-public class Images {
-
-    private LocalResourceManager rm;
-    private static Images INSTANCE;
-
-    private Images(ResourceManager manager) {
-        this.rm = new LocalResourceManager(manager);
-
-        CHANGE_SET_IMAGE = manager.createImage(Activator.CHANGE_SET_ICON);
-        DISPLAY_IMAGE = manager.createImage(Activator.DISPLAY_ICON);
-        RESOURCE_IMAGE = manager.createImage(Activator.RESOURCE_ICON);
-        STRING_IMAGE = manager.createImage(Activator.STRING_ICON);
-        COMBINED_IMAGE = manager.createImage(Activator.COMBINED_ICON);
-        UNDO_IMAGE = manager.createImage(Activator.UNDO_ICON);
-        REDO_IMAGE = manager.createImage(Activator.REDO_ICON);
-        OTHER_IMAGE = manager.createImage(Activator.OTHER_ICON);
-        DEBUG_IMAGE = manager.createImage(Activator.DEBUG_ICON);
-        EXIT_IMAGE = manager.createImage(Activator.EXIT_ICON);
-    }
-
-    public void dispose() {
-        rm.dispose();
-        rm = null;
-
-        CHANGE_SET_IMAGE = null;
-        DISPLAY_IMAGE = null;
-        RESOURCE_IMAGE = null;
-        STRING_IMAGE = null;
-        COMBINED_IMAGE = null;
-        UNDO_IMAGE = null;
-        REDO_IMAGE = null;
-        OTHER_IMAGE = null;
-        DEBUG_IMAGE = null;
-        EXIT_IMAGE = null;
-    }
-
-    public static Images getInstance(ResourceManager rm) {
-        if (INSTANCE == null) {
-            INSTANCE = new Images(rm);
-        }
-        return INSTANCE;
-    }
-
-    public static Images getInstance() {
-        if (INSTANCE == null)
-            throw new IllegalStateException("Images not initialized");
-        return INSTANCE;
-    }
-    
-    public static void disposeInstance() {
-        if (INSTANCE != null) {
-            INSTANCE.dispose();
-            INSTANCE = null;
-        }
-    }
-
-    public Image CHANGE_SET_IMAGE;
-    public Image DISPLAY_IMAGE;
-    public Image RESOURCE_IMAGE;
-    public Image STRING_IMAGE;
-    public Image COMBINED_IMAGE;
-    public Image UNDO_IMAGE;
-    public Image REDO_IMAGE;
-    public Image OTHER_IMAGE;
-    public Image DEBUG_IMAGE;
-    public Image EXIT_IMAGE;
-
-}
+package org.simantics.team.internal;
+
+import org.eclipse.jface.resource.LocalResourceManager;
+import org.eclipse.jface.resource.ResourceManager;
+import org.eclipse.swt.graphics.Image;
+import org.simantics.team.Activator;
+
+public class Images {
+
+    private LocalResourceManager rm;
+    private static Images INSTANCE;
+
+    private Images(ResourceManager manager) {
+        this.rm = new LocalResourceManager(manager);
+
+        CHANGE_SET_IMAGE = manager.createImage(Activator.CHANGE_SET_ICON);
+        DISPLAY_IMAGE = manager.createImage(Activator.DISPLAY_ICON);
+        RESOURCE_IMAGE = manager.createImage(Activator.RESOURCE_ICON);
+        STRING_IMAGE = manager.createImage(Activator.STRING_ICON);
+        COMBINED_IMAGE = manager.createImage(Activator.COMBINED_ICON);
+        UNDO_IMAGE = manager.createImage(Activator.UNDO_ICON);
+        REDO_IMAGE = manager.createImage(Activator.REDO_ICON);
+        OTHER_IMAGE = manager.createImage(Activator.OTHER_ICON);
+        DEBUG_IMAGE = manager.createImage(Activator.DEBUG_ICON);
+        EXIT_IMAGE = manager.createImage(Activator.EXIT_ICON);
+    }
+
+    public void dispose() {
+        rm.dispose();
+        rm = null;
+
+        CHANGE_SET_IMAGE = null;
+        DISPLAY_IMAGE = null;
+        RESOURCE_IMAGE = null;
+        STRING_IMAGE = null;
+        COMBINED_IMAGE = null;
+        UNDO_IMAGE = null;
+        REDO_IMAGE = null;
+        OTHER_IMAGE = null;
+        DEBUG_IMAGE = null;
+        EXIT_IMAGE = null;
+    }
+
+    public static Images getInstance(ResourceManager rm) {
+        if (INSTANCE == null) {
+            INSTANCE = new Images(rm);
+        }
+        return INSTANCE;
+    }
+
+    public static Images getInstance() {
+        if (INSTANCE == null)
+            throw new IllegalStateException("Images not initialized");
+        return INSTANCE;
+    }
+    
+    public static void disposeInstance() {
+        if (INSTANCE != null) {
+            INSTANCE.dispose();
+            INSTANCE = null;
+        }
+    }
+
+    public Image CHANGE_SET_IMAGE;
+    public Image DISPLAY_IMAGE;
+    public Image RESOURCE_IMAGE;
+    public Image STRING_IMAGE;
+    public Image COMBINED_IMAGE;
+    public Image UNDO_IMAGE;
+    public Image REDO_IMAGE;
+    public Image OTHER_IMAGE;
+    public Image DEBUG_IMAGE;
+    public Image EXIT_IMAGE;
+
+}