static int GetDefaultBorder()
{
#if wxUSE_BORDER_BY_DEFAULT
+ #ifdef __WXGTK20__
+ // GNOME HIG says to use 6px as the base unit:
+ // http://library.gnome.org/devel/hig-book/stable/design-window.html.en
+ return 6;
+ #else
// FIXME: default border size shouldn't be hardcoded and at the very
// least they should depend on the current font size
return 5;
+ #endif
#else
return 0;
#endif