linenumbers: also check that the idea project is not disposed

JetBrains · Nov 18, 2024 · 112d5a5 · 112d5a5
1 parent 806eecf
commit 112d5a5
Showing 1 changed file with 21 additions and 0 deletions.
diff --git a/code/linenumbers/de.itemis.mps.linenumbers/models/de.itemis.mps.linenumbers.plugin.mps b/code/linenumbers/de.itemis.mps.linenumbers/models/de.itemis.mps.linenumbers.plugin.mps
@@ -2624,6 +2624,27 @@
             </node>
           </node>
         </node>
+        <node concept="3clFbJ" id="7oifWhRy2d" role="3cqZAp">
+          <node concept="3clFbS" id="7oifWhRy2f" role="3clFbx">
+            <node concept="3cpWs6" id="7oifWhRG$J" role="3cqZAp" />
+          </node>
+          <node concept="22lmx$" id="7oifWhScIQ" role="3clFbw">
+            <node concept="3clFbC" id="7oifWhS7xr" role="3uHU7B">
+              <node concept="10Nm6u" id="7oifWhSbIm" role="3uHU7w" />
+              <node concept="37vLTw" id="7oifWhS5TH" role="3uHU7B">
+                <ref role="3cqZAo" node="7iWvyfFsBdp" resolve="project" />
+              </node>
+            </node>
+            <node concept="2OqwBi" id="7oifWhRAYv" role="3uHU7w">
+              <node concept="37vLTw" id="7oifWhR$vk" role="2Oq$k0">
+                <ref role="3cqZAo" node="7iWvyfFsBdp" resolve="project" />
+              </node>
+              <node concept="liA8E" id="7oifWhRBZH" role="2OqNvi">
+                <ref role="37wK5l" to="z1c3:~Project.isDisposed()" resolve="isDisposed" />
+              </node>
+            </node>
+          </node>
+        </node>
         <node concept="3clFbJ" id="7iWvyfFsTg4" role="3cqZAp">
           <node concept="3clFbS" id="7iWvyfFsTg6" role="3clFbx">
             <node concept="3cpWs6" id="7iWvyfFsWru" role="3cqZAp" />