Skip to content

Commit

Permalink
gsn: slightly better editor styles
Browse files Browse the repository at this point in the history
  • Loading branch information
@danielratiu
danielratiu committed Feb 20, 2024
1 parent 4d02896 commit 54a5bcf
Show file tree
Hide file tree
Showing 2 changed files with 75 additions and 18 deletions.
40 changes: 35 additions & 5 deletions code/languages/com.mbeddr.formal.nusmv/languages/com.mbeddr.formal.base/models/editor.mps
View file
Original file line number Diff line number Diff line change
Expand Up @@ -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" />
Expand Down Expand Up @@ -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>
Expand Down Expand Up @@ -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">
Expand Down Expand Up @@ -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>
Expand Down
53 changes: 40 additions & 13 deletions ...ety/languages/com.mbeddr.formal.safety.gsn/models/com.mbeddr.formal.safety.gsn.editor.mps
View file
Original file line number Diff line number Diff line change
Expand Up @@ -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>
Expand Down Expand Up @@ -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" />
Expand Down Expand Up @@ -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">
Expand Down Expand Up @@ -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>
Expand Down Expand Up @@ -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" />
Expand Down

0 comments on commit 54a5bcf

Please sign in to comment.