Frdige: hide magnet bag when empty.

1 files changed, 4 insertions, 0 deletions

diff --git a/src/server/gwt/src/se/chalmers/cs/gf/gwt/public/Fridge.css b/src/server/gwt/src/se/chalmers/cs/gf/gwt/public/Fridge.css
index 43b0d3efb..3911ed20c 100644
--- a/src/server/gwt/src/se/chalmers/cs/gf/gwt/public/Fridge.css
+++ b/src/server/gwt/src/se/chalmers/cs/gf/gwt/public/Fridge.css
@@ -34,6 +34,10 @@ body {
   border: 3px solid #dddddd;
 }
 
+.my-FridgeBagPanel-empty {
+  visibility: hidden;
+}
+
 .my-PrefixPanel {
   margin-bottom: 1em;
 }