From 1a6d90ff664133d179a9384da695de93b2b09bae Mon Sep 17 00:00:00 2001
From: bjorn <bjorn@bringert.net>
Date: Tue, 11 Nov 2008 12:44:59 +0000
Subject: [PATCH] Frdige: hide magnet bag when empty.

---
 src/server/gwt/src/se/chalmers/cs/gf/gwt/public/Fridge.css | 4 ++++
 1 file changed, 4 insertions(+)

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;
 }