Skip to content

Commit

Permalink
safety.gsn: cosmetic improvement of the editor
Browse files Browse the repository at this point in the history
  • Loading branch information
@danielratiu
danielratiu committed Jan 4, 2024
1 parent 16b6d25 commit 422d396
Show file tree
Hide file tree
Showing 2 changed files with 109 additions and 8 deletions.
53 changes: 47 additions & 6 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 @@ -620,6 +620,27 @@
</node>
</node>
</node>
<node concept="Wx3nA" id="3Q78AXIZrq" role="jymVt">
<property role="TrG5h" value="KEYWORD_LIGHT_BLUE" />
<node concept="3Tm1VV" id="3Q78AXIZrr" role="1B3o_S" />
<node concept="3uibUv" id="3Q78AXIZrs" role="1tU5fm">
<ref role="3uigEE" to="z60i:~Color" resolve="Color" />
</node>
<node concept="2ShNRf" id="3Q78AXIZrt" role="33vP2m">
<node concept="1pGfFk" id="3Q78AXIZru" role="2ShVmc">
<ref role="37wK5l" to="z60i:~Color.&lt;init&gt;(int,int,int)" resolve="Color" />
<node concept="3cmrfG" id="3Q78AXIZrv" role="37wK5m">
<property role="3cmrfH" value="0" />
</node>
<node concept="3cmrfG" id="3Q78AXIZrw" role="37wK5m">
<property role="3cmrfH" value="210" />
</node>
<node concept="3cmrfG" id="3Q78AXJbUG" role="37wK5m">
<property role="3cmrfH" value="255" />
</node>
</node>
</node>
</node>
<node concept="Wx3nA" id="KwKRgpJugV" role="jymVt">
<property role="TrG5h" value="KEYWORD_DARK_BLUE" />
<node concept="3Tm1VV" id="KwKRgpJugW" role="1B3o_S" />
Expand Down Expand Up @@ -1969,8 +1990,8 @@
<ref role="3cqZAo" node="2CEi94emCnI" resolve="KEYWORD_BLUE" />
<ref role="1PxDUh" node="4tRpPVPUEa3" resolve="BasicColors" />
</node>
<node concept="10M0yZ" id="8xY_IhAb1I" role="37wK5m">
<ref role="3cqZAo" node="2CEi94emCnI" resolve="KEYWORD_BLUE" />
<node concept="10M0yZ" id="3Q78AXJcls" role="37wK5m">
<ref role="3cqZAo" node="3Q78AXIZrq" resolve="KEYWORD_LIGHT_BLUE" />
<ref role="1PxDUh" node="4tRpPVPUEa3" resolve="BasicColors" />
</node>
</node>
Expand All @@ -1997,8 +2018,8 @@
<ref role="3cqZAo" node="KwKRgpJugV" resolve="KEYWORD_DARK_BLUE" />
<ref role="1PxDUh" node="4tRpPVPUEa3" resolve="BasicColors" />
</node>
<node concept="10M0yZ" id="8xY_IhAbdL" role="37wK5m">
<ref role="3cqZAo" node="KwKRgpJugV" resolve="KEYWORD_DARK_BLUE" />
<node concept="10M0yZ" id="3Q78AXJuEw" role="37wK5m">
<ref role="3cqZAo" node="3Q78AXIZrq" resolve="KEYWORD_LIGHT_BLUE" />
<ref role="1PxDUh" node="4tRpPVPUEa3" resolve="BasicColors" />
</node>
</node>
Expand Down Expand Up @@ -4351,6 +4372,26 @@
<property role="TrG5h" value="AnnotationProviderStyle" />
<node concept="VSNWy" id="65LrkjiZl6c" role="3F10Kt">
<property role="1lJzqX" value="8" />
<node concept="1cFabM" id="3Q78AXT7ST" role="1d8cEk">
<node concept="3clFbS" id="3Q78AXT7SU" role="2VODD2">
<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" />
</node>
<node concept="2OqwBi" id="3Q78AXM_3j" role="3uHU7B">
<node concept="2YIFZM" id="3Q78AXM_3k" 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_3l" role="2OqNvi">
<ref role="37wK5l" to="exr9:~EditorSettings.getFontSize()" resolve="getFontSize" />
</node>
</node>
</node>
</node>
</node>
</node>
</node>
<node concept="2biZxu" id="65LrkjiZl6h" role="3F10Kt">
<property role="1rj3mz" value="Arial" />
Expand Down Expand Up @@ -4399,9 +4440,9 @@
<ref role="3cqZAo" node="2CEi94emCnI" resolve="KEYWORD_BLUE" />
<ref role="1PxDUh" node="4tRpPVPUEa3" resolve="BasicColors" />
</node>
<node concept="10M0yZ" id="4I1OjAqvnma" role="37wK5m">
<node concept="10M0yZ" id="3Q78AXT7Oz" role="37wK5m">
<ref role="3cqZAo" node="3Q78AXIZrq" resolve="KEYWORD_LIGHT_BLUE" />
<ref role="1PxDUh" node="4tRpPVPUEa3" resolve="BasicColors" />
<ref role="3cqZAo" node="2CEi94emCnI" resolve="KEYWORD_BLUE" />
</node>
</node>
</node>
Expand Down
64 changes: 62 additions & 2 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 @@ -2997,6 +2997,26 @@
<property role="TrG5h" value="GSNTextStyle" />
<node concept="VSNWy" id="65LrkjiZl6c" role="3F10Kt">
<property role="1lJzqX" value="9" />
<node concept="1cFabM" id="3Q78AXM_2J" role="1d8cEk">
<node concept="3clFbS" id="3Q78AXM_2K" role="2VODD2">
<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="1" />
</node>
<node concept="2OqwBi" id="3Q78AXM_3j" role="3uHU7B">
<node concept="2YIFZM" id="3Q78AXM_3k" 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_3l" role="2OqNvi">
<ref role="37wK5l" to="exr9:~EditorSettings.getFontSize()" resolve="getFontSize" />
</node>
</node>
</node>
</node>
</node>
</node>
</node>
<node concept="2biZxu" id="65LrkjiZl6h" role="3F10Kt">
<property role="1rj3mz" value="Arial" />
Expand Down Expand Up @@ -3044,7 +3064,27 @@
</node>
</node>
<node concept="VSNWy" id="4HjFLZ$nO29" role="3F10Kt">
<property role="1lJzqX" value="8" />
<property role="1lJzqX" value="9" />
<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>
<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>
</node>
</node>
</node>
</node>
</node>
</node>
<node concept="14StLt" id="71GfFl7qVvB" role="V601i">
Expand All @@ -3066,7 +3106,27 @@
</node>
</node>
<node concept="VSNWy" id="4HjFLZ$nO8O" role="3F10Kt">
<property role="1lJzqX" value="8" />
<property role="1lJzqX" value="9" />
<node concept="1cFabM" id="3Q78AXM$tQ" role="1d8cEk">
<node concept="3clFbS" id="3Q78AXM$tR" role="2VODD2">
<node concept="3clFbF" id="3Q78AXM$No" role="3cqZAp">
<node concept="3cpWsd" id="3Q78AXM$Np" role="3clFbG">
<node concept="3cmrfG" id="3Q78AXM$Nq" role="3uHU7w">
<property role="3cmrfH" value="1" />
</node>
<node concept="2OqwBi" id="3Q78AXM$Nr" role="3uHU7B">
<node concept="2YIFZM" id="3Q78AXM$Ns" 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$Nt" role="2OqNvi">
<ref role="37wK5l" to="exr9:~EditorSettings.getFontSize()" resolve="getFontSize" />
</node>
</node>
</node>
</node>
</node>
</node>
</node>
</node>
<node concept="14StLt" id="7Jm8RM1kIhz" role="V601i">
Expand Down

0 comments on commit 422d396

Please sign in to comment.