void wxStaticBox::GetBordersForSizer(int *borderTop, int *borderOther) const
{
- static int extraTop = -1; // Uninitted
- static int other = 5;
+ static int extraTop = 11;
+ static int other = 11;
- if ( extraTop == -1 )
+ *borderTop = extraTop;
+ if ( !m_label.empty() )
{
- // The minimal border used for the top.
- // Later on, the staticbox's font height is added to this.
- extraTop = 0;
-
- // As indicated by the HIG, Panther needs an extra border of 11
- // pixels (otherwise overlapping occurs at the top). The "other"
- // border has to be 11.
- extraTop = 11;
#if wxOSX_USE_COCOA
- other = 17;
+ *borderTop += 11;
#else
- other = 11;
+ *borderTop += GetCharHeight();
#endif
}
- *borderTop = extraTop;
- if ( !m_label.empty() )
- *borderTop += GetCharHeight();
-
*borderOther = other;
}