Option to shrink panel: fix taskbar sizing

2016-10-09 15:21:56 +02:00
parent 7c54f2acf7
commit 0d861ebd97
3 changed files with 26 additions and 0 deletions
--- a/src/util/area.h
+++ b/src/util/area.h
@@ -260,6 +260,7 @@ void relayout(Area *a);
 int relayout_with_constraint(Area *a, int maximum_size);

 int compute_desired_size(Area *a);
+int container_compute_desired_size(Area *a);

 int left_border_width(Area *a);
 int right_border_width(Area *a);