// borderOther is the margin on all other sides
virtual void GetBordersForSizer(int *borderTop, int *borderOther) const
{
- static const int BORDER = 5; // FIXME: hardcoded value
+ const int BORDER = 5; // FIXME: hardcoded value
*borderTop = GetLabel().empty() ? BORDER : GetCharHeight();
*borderOther = BORDER;