-
Committer:
Jan Arne Petersen
-
Date:
2010-03-31 13:22:39 UTC
-
Revision ID:
jpetersen@openismus.com-20100331132239-r7nv0s8980i7m5t8
Take slider size in account when the child widget height for allocation
is calculated.
Fixes: Bug #414353 - Cannot scroll to bottom of system menu