diff options
author | Sebastian Geerken <devnull@localhost> | 2015-01-08 14:51:23 +0100 |
---|---|---|
committer | Sebastian Geerken <devnull@localhost> | 2015-01-08 14:51:23 +0100 |
commit | 3fa61740d50d8a8fd6c61eb86e1f7a45a3762570 (patch) | |
tree | b6d857642d861fc594292ec69260bfc3cc617be0 /dw/ui.cc | |
parent | e05ebd46d570cd64c116ed4bdde669ea0962e99b (diff) | |
parent | 428094b178eb03d8e500c81837caac402e4b138c (diff) |
Merge with main repo.
Diffstat (limited to 'dw/ui.cc')
-rw-r--r-- | dw/ui.cc | 18 |
1 files changed, 12 insertions, 6 deletions
@@ -56,7 +56,9 @@ void Embed::sizeRequestImpl (Requisition *requisition) void Embed::getExtremesImpl (Extremes *extremes) { resource->getExtremes (extremes); - correctExtremes (extremes); + correctExtremes (extremes, false); + extremes->adjustmentWidth = + misc::max (extremes->minWidthIntrinsic, extremes->minWidth); } void Embed::sizeAllocateImpl (Allocation *allocation) @@ -81,9 +83,10 @@ void Embed::correctRequisitionOfChild (Widget *child, resource->correctRequisitionOfChild (child, requisition, splitHeightFun); } -void Embed::correctExtremesOfChild (Widget *child, Extremes *extremes) +void Embed::correctExtremesOfChild (Widget *child, Extremes *extremes, + bool useAdjustmentWidth) { - resource->correctExtremesOfChild (child, extremes); + resource->correctExtremesOfChild (child, extremes, useAdjustmentWidth); } void Embed::containerSizeChangedForChildren () @@ -249,7 +252,8 @@ void Resource::correctRequisitionOfChild (Widget *child, misc::assertNotReached (); } -void Resource::correctExtremesOfChild (Widget *child, Extremes *extremes) +void Resource::correctExtremesOfChild (Widget *child, Extremes *extremes, + bool useAdjustmentWidth) { // Only used when the resource contains other dillo widgets. misc::assertNotReached (); @@ -439,7 +443,8 @@ void ComplexButtonResource::correctRequisitionOfChild (Widget *child, } void ComplexButtonResource::correctExtremesOfChild (Widget *child, - Extremes *extremes) + Extremes *extremes, + bool useAdjustmentWidth) { // Similar to Widget::correctExtremesOfChild, but for percentage // the relief has to be considered. @@ -455,7 +460,8 @@ void ComplexButtonResource::correctExtremesOfChild (Widget *child, child->applyPerWidth (baseWidth, child->getStyle()->width); } } else - getEmbed()->correctExtremesOfChildNoRec (child, extremes); + getEmbed()->correctExtremesOfChildNoRec (child, extremes, + useAdjustmentWidth); } void ComplexButtonResource::containerSizeChangedForChildren () |