From 4748387e542fe83763d1f7ca922244d6439a7dc1 Mon Sep 17 00:00:00 2001 From: Fedor Isakov Date: Sun, 19 Jan 2020 11:53:55 +0100 Subject: [PATCH] Ensure node/node-ptr objects in activation trace are navigatable. --- .../models/plugin.mps | 196 +++++++++++++++++- 1 file changed, 193 insertions(+), 3 deletions(-) diff --git a/coderules/solutions/jetbrains.mps.coderules.ui/models/plugin.mps b/coderules/solutions/jetbrains.mps.coderules.ui/models/plugin.mps index bc309f0d..5fef3bd3 100644 --- a/coderules/solutions/jetbrains.mps.coderules.ui/models/plugin.mps +++ b/coderules/solutions/jetbrains.mps.coderules.ui/models/plugin.mps @@ -19775,6 +19775,30 @@ + + + + + + + + + + + + + + + + + + + + + + + + @@ -19794,15 +19818,66 @@ - + - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -19810,6 +19885,121 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + +