From 07f7de1aecb3a776d43f9aba6c95d161a6e2c4b1 Mon Sep 17 00:00:00 2001
From: Daniela Genius <genius@debussy.soc.lip6.fr>
Date: Wed, 24 Jul 2019 19:58:46 +0200
Subject: [PATCH] Revert IconManager.java (accidentally commited)
---
src/main/java/ui/util/IconManager.java | 4 +++-
1 file changed, 3 insertions(+), 1 deletion(-)
diff --git a/src/main/java/ui/util/IconManager.java b/src/main/java/ui/util/IconManager.java
index 624feb720b..2de7b288b2 100755
--- a/src/main/java/ui/util/IconManager.java
+++ b/src/main/java/ui/util/IconManager.java
@@ -136,7 +136,7 @@ public class IconManager {
public static ImageIcon imgic1300, imgic1302, imgic1304, imgic1306, imgic1308;
public static ImageIcon imgic1310, imgic1312, imgic1314, imgic1316, imgic1318;
public static ImageIcon imgic1320, imgic1322, imgic1324, imgic1326, imgic1328;
- public static ImageIcon imgic1330;
+ public static ImageIcon imgic1330, imgic1332;
// SMD diagram
@@ -566,6 +566,7 @@ public class IconManager {
private static String icon1326 = "runexplo.gif";
private static String icon1328 = "savesvg24.gif";
private static String icon1330 = "stepforwardx24.gif";
+ private static String icon1332 = "savexml24.gif";
// SMD diagrams
private static String icon2000 = "prosmdsendmsg.gif";
@@ -1085,6 +1086,7 @@ public class IconManager {
imgic1326 = getIcon(icon1326);
imgic1328 = getIcon(icon1328);
imgic1330 = getIcon(icon1330);
+ imgic1332 = getIcon(icon1332);
imgic2000 = getIcon(icon2000);
imgic2002 = getIcon(icon2002);
--
GitLab