From 4cfe5fa88a55991f88a4529378f1cdfd8bd3dec3 Mon Sep 17 00:00:00 2001
From: Julian Smart <julian@anthemion.co.uk>
Date: Tue, 13 Mar 2012 17:43:55 +0000
Subject: [PATCH] Better border style for HTML window

git-svn-id: https://svn.wxwidgets.org/svn/wx/wxWidgets/trunk@70894 c3d73ce0-8a6f-49c7-b76d-6d57e0e08775
---
 src/html/helpwnd.cpp | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

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
-- 
2.50.0