# HG changeset patch # User Sebastian Kruse # Date 1354538415 -3600 # Node ID 18fc3a30e993b08a443cd583db70efabb64a06df # Parent 5ef409e34638364e94e3b26554855e2a2d1774b5 removed unused variable diff -r 5ef409e34638 -r 18fc3a30e993 src/econnect/wp3_3/client/core/ApplicationGrid.java --- a/src/econnect/wp3_3/client/core/ApplicationGrid.java Mon Dec 03 12:06:59 2012 +0100 +++ b/src/econnect/wp3_3/client/core/ApplicationGrid.java Mon Dec 03 13:40:15 2012 +0100 @@ -109,8 +109,6 @@ int docWidth = Document.get().getClientWidth(); - Grid mainGrid = new Grid(3,0); - int height = (new Double(Document.get().getClientHeight()*0.5+ph)).intValue(); int width = (new Double(height*4/3)).intValue();