-
-void wxStaticBox::GetBordersForSizer(int *borderTop, int *borderOther) const
-{
- static int extraTop = -1; // Uninitted
- static int other = 5;
-
- if ( extraTop == -1 )
- {
- // 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;
- other = 11;
- }
-
- *borderTop = extraTop;
- if ( !m_label.empty() )
- *borderTop += GetCharHeight();
-
- *borderOther = other;
-}
-