+#endif
+ // __WXMICROWIN__
+}
+
+// Option functions (arbitrary name/value mapping)
+void wxSystemSettings::SetOption(const wxString& name, const wxString& value)
+{
+ int idx = wxSystemSettingsModule::sm_optionNames.Index(name, FALSE);
+ if (idx == wxNOT_FOUND)
+ {
+ wxSystemSettingsModule::sm_optionNames.Add(name);
+ wxSystemSettingsModule::sm_optionValues.Add(value);
+ }
+ else
+ {
+ wxSystemSettingsModule::sm_optionNames[idx] = name;
+ wxSystemSettingsModule::sm_optionValues[idx] = value;
+ }
+}
+
+void wxSystemSettings::SetOption(const wxString& name, int value)
+{
+ wxString valStr;
+ valStr.Printf(wxT("%d"), value);
+ SetOption(name, valStr);
+}
+
+wxString wxSystemSettings::GetOption(const wxString& name)
+{
+ int idx = wxSystemSettingsModule::sm_optionNames.Index(name, FALSE);
+ if (idx == wxNOT_FOUND)
+ return wxEmptyString;
+ else
+ return wxSystemSettingsModule::sm_optionValues[idx];
+}
+
+int wxSystemSettings::GetOptionInt(const wxString& name)
+{
+ return wxAtoi(GetOption(name));
+}
+
+bool wxSystemSettings::HasOption(const wxString& name)
+{
+ return (wxSystemSettingsModule::sm_optionNames.Index(name, FALSE) != wxNOT_FOUND);