Don't let the dock take up space unless populated (#206)

raboof · knixeur · commit 0ca62ae91a71 · 2019-10-09T16:54:43.000-03:00
diff --git a/mod_dock/dock.c b/mod_dock/dock.c
@@ -778,8 +778,8 @@ static void dock_managed_rqgeom_(WDock *dock, WRegion *reg, int flags,
             break;
         }
     }else{
-        dock_geom.w=tile_size.w;
-        dock_geom.h=tile_size.h;
+        dock_geom.w=0;
+        dock_geom.h=0;
     }
     border_dock_geom.w=dock_bdw.left+dock_geom.w+dock_bdw.right;
     border_dock_geom.h=dock_bdw.top+dock_geom.h+dock_bdw.bottom;

Original file line number	Diff line number	Diff line change
`@@ -778,8 +778,8 @@ static void dock_managed_rqgeom_(WDock dock, WRegion reg, int flags,`
`778`	`778`	`break;`
`779`	`779`	`}`
`780`	`780`	`}else{`
`781`		`- dock_geom.w=tile_size.w;`
`782`		`- dock_geom.h=tile_size.h;`
	`781`	`+ dock_geom.w=0;`
	`782`	`+ dock_geom.h=0;`
`783`	`783`	`}`
`784`	`784`	`border_dock_geom.w=dock_bdw.left+dock_geom.w+dock_bdw.right;`
`785`	`785`	`border_dock_geom.h=dock_bdw.top+dock_geom.h+dock_bdw.bottom;`