GTK+'s native controls usually have a bigger line height

git-svn-id: https://svn.wxwidgets.org/svn/wx/wxWidgets/trunk@58324 c3d73ce0-8a6f-49c7-b76d-6d57e0e08775
This commit is contained in:
Robert Roebling
2009-01-23 11:55:45 +00:00
parent 8be0b88848
commit 43cb7161a0

View File

@@ -79,7 +79,12 @@ static const int EXTRA_WIDTH = 6;
#else #else
static const int EXTRA_WIDTH = 4; static const int EXTRA_WIDTH = 4;
#endif #endif
#ifdef __WXGTK__
static const int EXTRA_HEIGHT = 6;
#else
static const int EXTRA_HEIGHT = 4; static const int EXTRA_HEIGHT = 4;
#endif
// margin between the window and the items // margin between the window and the items
static const int EXTRA_BORDER_X = 2; static const int EXTRA_BORDER_X = 2;