# HG changeset patch
# User Sebastian Kruse <skruse@mpiwg-berlin.mpg.de>
# Date 1355747329 -3600
# Node ID aa1808d94d80b056cf4d63e279d61c0c3f4ff57e
# Parent  5c883f5d270adf1a82d6006b806def0daaa4e927
Make table always take 100% width, so page switches don't alter the layout

diff -r 5c883f5d270a -r aa1808d94d80 src/econnect/wp3_3/client/widgets/table/DynamicStiTable.java
--- a/src/econnect/wp3_3/client/widgets/table/DynamicStiTable.java	Mon Dec 17 13:27:32 2012 +0100
+++ b/src/econnect/wp3_3/client/widgets/table/DynamicStiTable.java	Mon Dec 17 13:28:49 2012 +0100
@@ -27,6 +27,7 @@
 import com.google.gwt.core.client.GWT;
 import com.google.gwt.dom.client.NodeList;
 import com.google.gwt.dom.client.Style.BorderStyle;
+import com.google.gwt.dom.client.Style.Unit;
 import com.google.gwt.dom.client.TableCellElement;
 import com.google.gwt.event.dom.client.ClickHandler;
 import com.google.gwt.event.dom.client.ClickEvent;
@@ -270,6 +271,7 @@
 		func.addStyleName("center");
 		
 		this.elementsTable = new CellTable<DataObject>();
+		elementsTable.getElement().getStyle().setWidth(100, Unit.PCT);
 
 		dataProvider = new ListDataProvider<DataObject>();
 	    dataProvider.addDataDisplay(this.elementsTable);