--- src/manager.cpp.keep	2006-01-10 21:15:34.000000000 +0000
+++ src/manager.cpp	2006-01-10 21:16:49.000000000 +0000
@@ -1815,9 +1815,6 @@
     // create the sizer for the dock
     wxSizer* dock_sizer = new wxBoxSizer(orientation);
 
-    // this flag determines if there will be space left.
-    bool space_left = true;
-
     // add each pane to the dock
     int pane_i, pane_count = dock.panes.GetCount();
 
@@ -2178,9 +2175,7 @@
     // create a bunch of box sizers,
     // from the innermost level outwards.
     wxSizer* cont = NULL;
-    wxSizer* top = NULL;
     wxSizer* middle = NULL;
-    wxSizer* bottom = NULL;
     int layer = 0;
     int row, row_count;
 
@@ -3370,8 +3365,6 @@
         if (part.sizer_item && !part.sizer_item->IsShown())
             continue;
         
-        int pane_state = (part.pane ? part.pane->state : 0);
-        
         switch (part.type)
         {
             case wxDockUIPart::typeDockSizer: