From 0315fca5fa8c1e2f744f852efbe525fe9974b748 Mon Sep 17 00:00:00 2001 From: Fedor Isakov Date: Wed, 6 Jan 2021 12:42:07 +0100 Subject: [PATCH] Fix ghost artefacts in activation trace appearing on moving selection up StyledTreeCellRenderer component received wrong bounding box because of top border's inset to be set to 1 (see DefaultTreeUI.paint()). This border is the default set by LookAndFeel.installBorder() in case the border on tree component is set to null, which is explicitly set to null in TreeTableTree's constructor (go figure). --- .../models/plugin.mps | 208 ++++++++++++++++++ 1 file changed, 208 insertions(+) diff --git a/coderules/solutions/jetbrains.mps.coderules.ui/models/plugin.mps b/coderules/solutions/jetbrains.mps.coderules.ui/models/plugin.mps index 1eda51fc..f2e3eb03 100644 --- a/coderules/solutions/jetbrains.mps.coderules.ui/models/plugin.mps +++ b/coderules/solutions/jetbrains.mps.coderules.ui/models/plugin.mps @@ -3958,6 +3958,214 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + +