From 43c5fff8a87655d9969c7b0abfe4f31d9b9f7f5f Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?V=C3=A1clav=20Slav=C3=ADk?= <vslavik@fastmail.fm>
Date: Thu, 6 Mar 2008 10:12:03 +0000
Subject: [PATCH] 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
---
 include/wx/sizer.h | 6 ++++++
 1 file changed, 6 insertions(+)

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