From a531f3d119307c5d794e8a89648bb3fe64c3989a Mon Sep 17 00:00:00 2001
From: Stewart Allen <stewart.allen@gmail.com>
Date: Wed, 26 Feb 2020 22:02:08 -0500
Subject: [PATCH] fix selection display after widget delete

---
 js/kiri.js | 1 +
 1 file changed, 1 insertion(+)

diff --git a/js/kiri.js b/js/kiri.js
index 8562a33d..717a7a69 100644
--- a/js/kiri.js
+++ b/js/kiri.js
@@ -1635,6 +1635,7 @@ self.kiri.license = exports.LICENSE;
         platformComputeMaxZ();
         if (MODE !== MODES.FDM) layoutPlatform();
         SPACE.update();
+        UI.selection.style.display = selectedWidgetCount() ? 'inline' : 'none';
     }
 
     function platformSelectAll() {