implemented (untested) work around for wxScrolledWindow painting bug

[wxWidgets.git] / include / wx / os2 / settings.h

diff --git a/include/wx/os2/settings.h b/include/wx/os2/settings.h
index 2164abb8de6cf84e65d615125105d84d21e566ef..03b343faad11b7ab17171c5bf6a007b8dfb2a885 100644 (file)
--- a/include/wx/os2/settings.h
+++ b/include/wx/os2/settings.h
@@ -24,15 +24,6 @@ public:
     static wxColour    GetSystemColour(int index);
     static wxFont      GetSystemFont(int index);
     static int         GetSystemMetric(int index);
-    static void        SetOption( const wxString& rsName
-                                 ,const wxString& rsValue
-                                );
-    static void        SetOption( const wxString& rsName
-                                 ,int             nValue
-                                );
-    static wxString    GetOption(const wxString& rsName) ;
-    static int         GetOptionInt(const wxString& rsName) ;
-    static bool        HasOption(const wxString& rsName) ;
 }; // end of CLASS wxSystemSettings
 
 #endif