added option to hide page controls

[wxWidgets.git] / src / gtk1 / settings.cpp

diff --git a/src/gtk1/settings.cpp b/src/gtk1/settings.cpp
index dfcf1d81db6f2d638f116ddb7b9db4524ce71573..aa24393c68eb03e74f28eacddf86f819f70c8522 100644 (file)
--- a/src/gtk1/settings.cpp
+++ b/src/gtk1/settings.cpp
@@ -58,6 +58,16 @@ wxColour *g_systemBtnShadowColour    = NULL;
 wxColour *g_systemBtnHighlightColour = NULL;
 wxColour *g_systemHighlightColour    = NULL;
 
+wxFont *g_systemFont = NULL;
+
+void wxSystemSettings::Done() {
+  wxDELETE(g_systemBtnFaceColour);
+  wxDELETE(g_systemBtnShadowColour);
+  wxDELETE(g_systemBtnHighlightColour);
+  wxDELETE(g_systemHighlightColour);
+  wxDELETE(g_systemFont);
+}
+
 wxColour wxSystemSettings::GetSystemColour( int index )
 {
   switch (index)
@@ -141,8 +151,6 @@ wxColour wxSystemSettings::GetSystemColour( int index )
   return *wxWHITE;
 };
 
-wxFont *g_systemFont = NULL;
-
 wxFont wxSystemSettings::GetSystemFont( int index ) 
 {
   switch (index)