diff options
| author | bjorn <bjorn@bringert.net> | 2008-11-11 12:44:59 +0000 |
|---|---|---|
| committer | bjorn <bjorn@bringert.net> | 2008-11-11 12:44:59 +0000 |
| commit | 1a6d90ff664133d179a9384da695de93b2b09bae (patch) | |
| tree | 0852123d0bf05279a491c1ea25f5db8a300d0647 /src/server | |
| parent | a9d870d76a34fc1913fe70a1330d227219e2b743 (diff) | |
Frdige: hide magnet bag when empty.
Diffstat (limited to 'src/server')
| -rw-r--r-- | src/server/gwt/src/se/chalmers/cs/gf/gwt/public/Fridge.css | 4 |
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; } |