From: Julian Smart <julian@anthemion.co.uk>
Date: Tue, 13 Mar 2012 17:43:55 +0000 (+0000)
Subject: Better border style for HTML window
X-Git-Url: https://git.saurik.com/wxWidgets.git/commitdiff_plain/4cfe5fa88a55991f88a4529378f1cdfd8bd3dec3

Better border style for HTML window


git-svn-id: https://svn.wxwidgets.org/svn/wx/wxWidgets/trunk@70894 c3d73ce0-8a6f-49c7-b76d-6d57e0e08775
---

diff --git a/src/html/helpwnd.cpp b/src/html/helpwnd.cpp
index 3bd5c41506..1a4b60cc7e 100644
--- a/src/html/helpwnd.cpp
+++ b/src/html/helpwnd.cpp
@@ -358,8 +358,7 @@ bool wxHtmlHelpWindow::Create(wxWindow* parent, wxWindowID id,
 
 #ifdef __WXMSW__
     wxBorder htmlWindowBorder = GetDefaultBorder();
-    if (htmlWindowBorder == wxBORDER_SUNKEN)
-        htmlWindowBorder = wxBORDER_SIMPLE;
+    htmlWindowBorder = wxBORDER_THEME;
 #else
     wxBorder htmlWindowBorder = wxBORDER_SUNKEN;
 #endif