From 06824a28767df2e60d92ca399339360a4ee4553c Mon Sep 17 00:00:00 2001 From: Julian Smart Date: Fri, 13 Jun 2008 12:52:43 +0000 Subject: [PATCH] Small improvement in HTML help options dialog. git-svn-id: https://svn.wxwidgets.org/svn/wx/wxWidgets/branches/WX_2_8_BRANCH@54186 c3d73ce0-8a6f-49c7-b76d-6d57e0e08775 --- src/html/helpwnd.cpp | 14 ++++++++++++-- 1 file changed, 12 insertions(+), 2 deletions(-) diff --git a/src/html/helpwnd.cpp b/src/html/helpwnd.cpp index 45b337ed66..ab52ea8743 100644 --- a/src/html/helpwnd.cpp +++ b/src/html/helpwnd.cpp @@ -1230,9 +1230,19 @@ public: topsizer->Add(new wxStaticText(this, wxID_ANY, _("Preview:")), 0, wxLEFT | wxTOP, 10); + + int style = wxHW_SCROLLBAR_AUTO; + +#ifdef __WXMSW__ + style |= GetThemedBorderStyle(); +#else + style |= wxBORDER_SUNKEN; +#endif + topsizer->AddSpacer(5); + topsizer->Add(TestWin = new wxHtmlWindow(this, wxID_ANY, wxDefaultPosition, wxSize(20, 150), - wxHW_SCROLLBAR_AUTO | wxSUNKEN_BORDER), - 1, wxEXPAND | wxLEFT|wxTOP|wxRIGHT, 10); + style), + 1, wxEXPAND | wxLEFT|wxRIGHT, 10); wxBoxSizer *sizer2 = new wxBoxSizer(wxHORIZONTAL); wxButton *ok;