From dfa819c7d64dbbe45c52854ce62e5204b882d133 Mon Sep 17 00:00:00 2001 From: Fedor Isakov Date: Wed, 6 Jun 2018 12:44:33 +0200 Subject: [PATCH] Fix show type action, drop obsolete code. --- .../models/ui.plugin.mps | 424 +----------------- 1 file changed, 8 insertions(+), 416 deletions(-) diff --git a/typechecking/solutions/jetbrains.mps.typechecking.ui/models/ui.plugin.mps b/typechecking/solutions/jetbrains.mps.typechecking.ui/models/ui.plugin.mps index 4021a1b5..8764c97a 100644 --- a/typechecking/solutions/jetbrains.mps.typechecking.ui/models/ui.plugin.mps +++ b/typechecking/solutions/jetbrains.mps.typechecking.ui/models/ui.plugin.mps @@ -30371,50 +30371,6 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - @@ -30744,374 +30700,6 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - @@ -31256,7 +30844,7 @@ - + @@ -31266,6 +30854,10 @@ + + + + @@ -31571,7 +31163,7 @@ - + @@ -31642,7 +31234,7 @@ - + @@ -31874,7 +31466,7 @@ - +