- // this shouldn't happen...
- if (win->GetParent()->m_wxwindow) return;
-
- wxSize size = win->GetEffectiveMinSize();
- if (size.y != alloc->height)
- {
- GtkAllocation alloc2;
- alloc2.x = alloc->x;
- alloc2.y = (alloc->height - size.y + 3) / 2;
- alloc2.width = alloc->width;
- alloc2.height = size.y;
- gtk_widget_size_allocate( widget, &alloc2 );
- }
+ const wxSize margins = win->GetMargins();
+ req->width += margins.x;
+ req->height += 2 * margins.y;