From 3b9fb541046b3d4d1e759cd62803ddb3e8ff5990 Mon Sep 17 00:00:00 2001
From: orbitcowboy <orbitcowboy@web.de>
Date: Tue, 12 Mar 2019 09:23:34 +0100
Subject: [PATCH] wxwidgets.cfg: Added support for
 wxPropertyGridManager::ShowHeader().

---
 cfg/wxwidgets.cfg | 9 +++++++++
 1 file changed, 9 insertions(+)

diff --git a/cfg/wxwidgets.cfg b/cfg/wxwidgets.cfg
index 4960dd491..e454d774c 100644
--- a/cfg/wxwidgets.cfg
+++ b/cfg/wxwidgets.cfg
@@ -8928,4 +8928,13 @@
       <not-uninit/>
     </arg>
   </function>
+  <!-- void wxPropertyGridManager::ShowHeader( bool show = true ) -->
+  <function name="wxPropertyGridManager::ShowHeader">
+    <noreturn>false</noreturn>
+    <returnValue type="void"/>
+    <leak-ignore/>
+    <arg nr="1" default="true" direction="in">
+      <not-uninit/>
+    </arg>
+  </function>
 </def>