From: Václav Slavík Date: Thu, 6 Mar 2008 10:12:03 +0000 (+0000) Subject: use 6px as the default wxSizer border in wxGTK to be a little bit closer to GNOME HIG X-Git-Url: https://git.saurik.com/wxWidgets.git/commitdiff_plain/43c5fff8a87655d9969c7b0abfe4f31d9b9f7f5f use 6px as the default wxSizer border in wxGTK to be a little bit closer to GNOME HIG git-svn-id: https://svn.wxwidgets.org/svn/wx/wxWidgets/trunk@52356 c3d73ce0-8a6f-49c7-b76d-6d57e0e08775 --- diff --git a/include/wx/sizer.h b/include/wx/sizer.h index 640f7a5681..bd932e89ce 100644 --- a/include/wx/sizer.h +++ b/include/wx/sizer.h @@ -84,9 +84,15 @@ public: 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