From 54a5bcf56003e6dc8f22261cc1b6266187408b95 Mon Sep 17 00:00:00 2001
From: danielratiu <ratiud@googlemail.com>
Date: Tue, 20 Feb 2024 23:53:49 +0100
Subject: [PATCH] gsn: slightly better editor styles

---
 .../com.mbeddr.formal.base/models/editor.mps  | 40 ++++++++++++--
 .../com.mbeddr.formal.safety.gsn.editor.mps   | 53 ++++++++++++++-----
 2 files changed, 75 insertions(+), 18 deletions(-)

diff --git a/code/languages/com.mbeddr.formal.nusmv/languages/com.mbeddr.formal.base/models/editor.mps b/code/languages/com.mbeddr.formal.nusmv/languages/com.mbeddr.formal.base/models/editor.mps
index 4a5a776a..89230f63 100644
--- a/code/languages/com.mbeddr.formal.nusmv/languages/com.mbeddr.formal.base/models/editor.mps
+++ b/code/languages/com.mbeddr.formal.nusmv/languages/com.mbeddr.formal.base/models/editor.mps
@@ -662,7 +662,37 @@
         </node>
       </node>
     </node>
+    <node concept="2tJIrI" id="4afdSTbPIoh" role="jymVt" />
+    <node concept="Wx3nA" id="4afdSTbPIhl" role="jymVt">
+      <property role="TrG5h" value="KEYWORD_GREEN_DARK" />
+      <node concept="3Tm1VV" id="4afdSTbPIhm" role="1B3o_S" />
+      <node concept="3uibUv" id="4afdSTbPIhn" role="1tU5fm">
+        <ref role="3uigEE" to="z60i:~Color" resolve="Color" />
+      </node>
+      <node concept="2YIFZM" id="42Yf_hF11Mi" role="33vP2m">
+        <ref role="37wK5l" to="z60i:~Color.decode(java.lang.String)" resolve="decode" />
+        <ref role="1Pybhc" to="z60i:~Color" resolve="Color" />
+        <node concept="Xl_RD" id="42Yf_hF11Mj" role="37wK5m">
+          <property role="Xl_RC" value="#01C60B" />
+        </node>
+      </node>
+    </node>
+    <node concept="Wx3nA" id="4afdSTbQoB4" role="jymVt">
+      <property role="TrG5h" value="KEYWORD_GREEN_LIGHT" />
+      <node concept="3Tm1VV" id="4afdSTbQoB5" role="1B3o_S" />
+      <node concept="3uibUv" id="4afdSTbQoB6" role="1tU5fm">
+        <ref role="3uigEE" to="z60i:~Color" resolve="Color" />
+      </node>
+      <node concept="2YIFZM" id="42Yf_hF11Md" role="33vP2m">
+        <ref role="1Pybhc" to="z60i:~Color" resolve="Color" />
+        <ref role="37wK5l" to="z60i:~Color.decode(java.lang.String)" resolve="decode" />
+        <node concept="Xl_RD" id="42Yf_hF11Me" role="37wK5m">
+          <property role="Xl_RC" value="#017507" />
+        </node>
+      </node>
+    </node>
     <node concept="2tJIrI" id="KwKRgpJueU" role="jymVt" />
+    <node concept="2tJIrI" id="4afdSTbPIfQ" role="jymVt" />
     <node concept="Wx3nA" id="y826GEUxbz" role="jymVt">
       <property role="TrG5h" value="INACTIVE" />
       <node concept="3Tm1VV" id="y826GEUxb$" role="1B3o_S" />
@@ -1990,8 +2020,8 @@
                     <ref role="3cqZAo" node="2CEi94emCnI" resolve="KEYWORD_BLUE" />
                     <ref role="1PxDUh" node="4tRpPVPUEa3" resolve="BasicColors" />
                   </node>
-                  <node concept="10M0yZ" id="3Q78AXJcls" role="37wK5m">
-                    <ref role="3cqZAo" node="3Q78AXIZrq" resolve="KEYWORD_LIGHT_BLUE" />
+                  <node concept="10M0yZ" id="4afdSTbQY$w" role="37wK5m">
+                    <ref role="3cqZAo" node="4afdSTbQoB4" resolve="KEYWORD_GREEN_LIGHT" />
                     <ref role="1PxDUh" node="4tRpPVPUEa3" resolve="BasicColors" />
                   </node>
                 </node>
@@ -4377,7 +4407,7 @@
             <node concept="3clFbF" id="3Q78AXM_3g" role="3cqZAp">
               <node concept="3cpWsd" id="3Q78AXM_3h" role="3clFbG">
                 <node concept="3cmrfG" id="3Q78AXM_3i" role="3uHU7w">
-                  <property role="3cmrfH" value="2" />
+                  <property role="3cmrfH" value="1" />
                 </node>
                 <node concept="2OqwBi" id="3Q78AXM_3j" role="3uHU7B">
                   <node concept="2YIFZM" id="3Q78AXM_3k" role="2Oq$k0">
@@ -4440,8 +4470,8 @@
                     <ref role="3cqZAo" node="2CEi94emCnI" resolve="KEYWORD_BLUE" />
                     <ref role="1PxDUh" node="4tRpPVPUEa3" resolve="BasicColors" />
                   </node>
-                  <node concept="10M0yZ" id="3Q78AXT7Oz" role="37wK5m">
-                    <ref role="3cqZAo" node="3Q78AXIZrq" resolve="KEYWORD_LIGHT_BLUE" />
+                  <node concept="10M0yZ" id="4afdSTbQp0P" role="37wK5m">
+                    <ref role="3cqZAo" node="4afdSTbQoB4" resolve="KEYWORD_GREEN_LIGHT" />
                     <ref role="1PxDUh" node="4tRpPVPUEa3" resolve="BasicColors" />
                   </node>
                 </node>
diff --git a/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.gsn/models/com.mbeddr.formal.safety.gsn.editor.mps b/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.gsn/models/com.mbeddr.formal.safety.gsn.editor.mps
index 5f97a21f..d71313a5 100644
--- a/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.gsn/models/com.mbeddr.formal.safety.gsn.editor.mps
+++ b/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.gsn/models/com.mbeddr.formal.safety.gsn.editor.mps
@@ -3080,18 +3080,13 @@
         <node concept="1cFabM" id="3Q78AXM$Pp" role="1d8cEk">
           <node concept="3clFbS" id="3Q78AXM$Pq" role="2VODD2">
             <node concept="3clFbF" id="3Q78AXM$PU" role="3cqZAp">
-              <node concept="3cpWsd" id="3Q78AXM$PV" role="3clFbG">
-                <node concept="3cmrfG" id="3Q78AXM$PW" role="3uHU7w">
-                  <property role="3cmrfH" value="1" />
+              <node concept="2OqwBi" id="3Q78AXM$PX" role="3clFbG">
+                <node concept="2YIFZM" id="3Q78AXM$PY" role="2Oq$k0">
+                  <ref role="37wK5l" to="exr9:~EditorSettings.getInstance()" resolve="getInstance" />
+                  <ref role="1Pybhc" to="exr9:~EditorSettings" resolve="EditorSettings" />
                 </node>
-                <node concept="2OqwBi" id="3Q78AXM$PX" role="3uHU7B">
-                  <node concept="2YIFZM" id="3Q78AXM$PY" role="2Oq$k0">
-                    <ref role="37wK5l" to="exr9:~EditorSettings.getInstance()" resolve="getInstance" />
-                    <ref role="1Pybhc" to="exr9:~EditorSettings" resolve="EditorSettings" />
-                  </node>
-                  <node concept="liA8E" id="3Q78AXM$PZ" role="2OqNvi">
-                    <ref role="37wK5l" to="exr9:~EditorSettings.getFontSize()" resolve="getFontSize" />
-                  </node>
+                <node concept="liA8E" id="3Q78AXM$PZ" role="2OqNvi">
+                  <ref role="37wK5l" to="exr9:~EditorSettings.getFontSize()" resolve="getFontSize" />
                 </node>
               </node>
             </node>
@@ -3166,6 +3161,37 @@
         </node>
       </node>
     </node>
+    <node concept="14StLt" id="4afdSTbTtoR" role="V601i">
+      <property role="TrG5h" value="GSNTextualNotationBaseLanguageKeyword" />
+      <node concept="3Xmtl4" id="4afdSTbTtoS" role="3F10Kt">
+        <node concept="1wgc9g" id="4afdSTbTtoT" role="3XvnJa">
+          <ref role="1wgcnl" to="xnej:2QkJsC6_xPA" resolve="FASTENBaseLanguageKeyword_Dynamic" />
+        </node>
+      </node>
+      <node concept="VSNWy" id="4afdSTbTtoU" role="3F10Kt">
+        <property role="1lJzqX" value="9" />
+        <node concept="1cFabM" id="4afdSTbTtoV" role="1d8cEk">
+          <node concept="3clFbS" id="4afdSTbTtoW" role="2VODD2">
+            <node concept="3clFbF" id="4afdSTbTtoX" role="3cqZAp">
+              <node concept="3cpWsd" id="4afdSTbTuEa" role="3clFbG">
+                <node concept="3cmrfG" id="4afdSTbTuEe" role="3uHU7w">
+                  <property role="3cmrfH" value="1" />
+                </node>
+                <node concept="2OqwBi" id="4afdSTbTtoY" role="3uHU7B">
+                  <node concept="2YIFZM" id="4afdSTbTtoZ" role="2Oq$k0">
+                    <ref role="37wK5l" to="exr9:~EditorSettings.getInstance()" resolve="getInstance" />
+                    <ref role="1Pybhc" to="exr9:~EditorSettings" resolve="EditorSettings" />
+                  </node>
+                  <node concept="liA8E" id="4afdSTbTtp0" role="2OqNvi">
+                    <ref role="37wK5l" to="exr9:~EditorSettings.getFontSize()" resolve="getFontSize" />
+                  </node>
+                </node>
+              </node>
+            </node>
+          </node>
+        </node>
+      </node>
+    </node>
   </node>
   <node concept="PKFIW" id="65Lrkjj1Rgv">
     <property role="TrG5h" value="GoalTextArea" />
@@ -5153,7 +5179,7 @@
         <node concept="VPM3Z" id="5uFV_KKC5W8" role="3F10Kt" />
         <node concept="3F0ifn" id="3$Xa1eBdls4" role="3EZMnx">
           <property role="3F0ifm" value="Away" />
-          <ref role="1k5W1q" node="4HjFLZ$nN39" resolve="GSNBaseLanguageKeyword" />
+          <ref role="1k5W1q" node="4afdSTbTtoR" resolve="GSNTextualNotationBaseLanguageKeyword" />
           <node concept="pkWqt" id="3$Xa1eBdls5" role="pqm2j">
             <node concept="3clFbS" id="3$Xa1eBdls6" role="2VODD2">
               <node concept="3clFbF" id="3$Xa1eBdls7" role="3cqZAp">
@@ -5184,7 +5210,7 @@
         </node>
         <node concept="PMmxH" id="5uFV_KKC5Z6" role="3EZMnx">
           <ref role="PMmxG" to="tpco:2wZex4PafBj" resolve="alias" />
-          <ref role="1k5W1q" node="4HjFLZ$nN39" resolve="GSNBaseLanguageKeyword" />
+          <ref role="1k5W1q" node="4afdSTbTtoR" resolve="GSNTextualNotationBaseLanguageKeyword" />
           <node concept="xShMh" id="71GfFl7i3Qn" role="3F10Kt">
             <property role="VOm3f" value="true" />
           </node>
@@ -12410,6 +12436,7 @@
       <node concept="3EZMnI" id="3EDV2YKAng_" role="3EZMnx">
         <node concept="PMmxH" id="3EDV2YKAngG" role="3EZMnx">
           <ref role="PMmxG" to="tpco:2wZex4PafBj" resolve="alias" />
+          <ref role="1k5W1q" node="4afdSTbTtoR" resolve="GSNTextualNotationBaseLanguageKeyword" />
         </node>
         <node concept="3F0A7n" id="3EDV2YKAngL" role="3EZMnx">
           <ref role="1NtTu8" to="tpck:h0TrG11" resolve="name" />