From f866b07f6897601dea7e36a241af3b7d675d0ba5 Mon Sep 17 00:00:00 2001
From: bjorn <bjorn@bringert.net>
Date: Thu, 6 Nov 2008 14:13:24 +0000
Subject: [PATCH] Fridge: prefix panel layout tweak.

---
 .../gwt/src/se/chalmers/cs/gf/gwt/client/FridgeBagPanel.java  | 1 +
 src/server/gwt/src/se/chalmers/cs/gf/gwt/public/Fridge.css    | 4 ++++
 2 files changed, 5 insertions(+)

diff --git a/src/server/gwt/src/se/chalmers/cs/gf/gwt/client/FridgeBagPanel.java b/src/server/gwt/src/se/chalmers/cs/gf/gwt/client/FridgeBagPanel.java
index f825c3f46..0457e255e 100644
--- a/src/server/gwt/src/se/chalmers/cs/gf/gwt/client/FridgeBagPanel.java
+++ b/src/server/gwt/src/se/chalmers/cs/gf/gwt/client/FridgeBagPanel.java
@@ -31,6 +31,7 @@ public class FridgeBagPanel extends Composite {
 		this.pgf = pgf;
 		this.magnetFactory = magnetFactory;
 		prefixPanel = new FlowPanel();
+		prefixPanel.setStylePrimaryName("my-PrefixPanel");
 		mainPanel = new FlowPanel();
 		VerticalPanel vPanel = new VerticalPanel();
 		vPanel.setHorizontalAlignment(VerticalPanel.ALIGN_CENTER);
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 449387173..63bf07d03 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
@@ -26,6 +26,10 @@ body {
   border: 3px solid #dddddd;
 }
 
+.my-PrefixPanel {
+  margin-bottom: 1em;
+}
+
 .my-Magnet {
   float: left;
   margin: 0.3em;