From 4e119eb63c3717405946c29a74620f0900c8fd7d Mon Sep 17 00:00:00 2001
From: krasimir <krasimir@chalmers.se>
Date: Sat, 6 Jun 2009 08:33:11 +0000
Subject: [PATCH] make the text in the SyntaxEditor float nicely

---
 .../se/chalmers/cs/gf/gwt/client/AbstractSyntaxController.java  | 2 +-
 src/server/gwt/src/se/chalmers/cs/gf/gwt/public/Editor.css      | 1 +
 2 files changed, 2 insertions(+), 1 deletion(-)

diff --git a/src/server/gwt/src/se/chalmers/cs/gf/gwt/client/AbstractSyntaxController.java b/src/server/gwt/src/se/chalmers/cs/gf/gwt/client/AbstractSyntaxController.java
index da39a8a5e..fbb6a7bb4 100644
--- a/src/server/gwt/src/se/chalmers/cs/gf/gwt/client/AbstractSyntaxController.java
+++ b/src/server/gwt/src/se/chalmers/cs/gf/gwt/client/AbstractSyntaxController.java
@@ -87,7 +87,7 @@ public class AbstractSyntaxController {
 
 	private Panel addPanel(TreeItem item, Panel parentPanel)
 	{
-		HorizontalPanel wordsPanel = new HorizontalPanel();
+		FlowPanel wordsPanel = new FlowPanel();
 		wordsPanel.setStylePrimaryName("my-WordsPanel");
 		panels.put(wordsPanel,item);
 
diff --git a/src/server/gwt/src/se/chalmers/cs/gf/gwt/public/Editor.css b/src/server/gwt/src/se/chalmers/cs/gf/gwt/public/Editor.css
index 3ddb3d442..5c641665e 100644
--- a/src/server/gwt/src/se/chalmers/cs/gf/gwt/public/Editor.css
+++ b/src/server/gwt/src/se/chalmers/cs/gf/gwt/public/Editor.css
@@ -17,6 +17,7 @@ body {
 }
 
 .my-WordLabel {
+  float: left;
   padding: 2px;
 }