PyGTK Docking Widgets