Change icon for the 'render' buttons

epsilonlabs · Nov 17, 2023 · 7ceb7d2 · 7ceb7d2
1 parent 3c99509
commit 7ceb7d2
Showing 1 changed file with 8 additions and 8 deletions.
diff --git a/http-server/src/main/resources/mdenet_tool.egl b/http-server/src/main/resources/mdenet_tool.egl
@@ -205,8 +205,8 @@
                 "language": "flexmi",
                 "buttons" : [
                     {
-                      "id": "refresh-button",
-                      "icon": "refresh",
+                      "id": "render-button",
+                      "icon": "diagram",
                       "actionfunction": "function-flexmi2plantuml",
                       "hint": "Render the model object diagram"
                     },
@@ -227,8 +227,8 @@
                 "language": "emfatic",
                 "buttons" : [
                     {
-                      "id": "refresh-button",
-                      "icon": "refresh",
+                      "id": "render-button",
+                      "icon": "diagram",
                       "actionfunction": "function-emfatic2plantuml",
                       "hint": "Render the model object diagram"
                     },
@@ -249,10 +249,10 @@
             },
 
             {
-                    "id": "code",
-                    "name": "code",
-                    "panelclass": "OutputPanel",
-                    "icon": "editor"
+                "id": "code",
+                "name": "code",
+                "panelclass": "OutputPanel",
+                "icon": "editor"
             }
         ]
     }