Added WMSaveUserDefaults()

WINGs/ChangeLog

@@ -2,6 +2,7 @@ changes since wmaker 0.61.1:
 ............................
 
 - fixed WMInsertInBag(). It ignored index, and always put the new item at end.
+- added WMSaveUserDefaults().
 
 
 changes since wmaker 0.61.0:

WINGs/WUtil.h

@@ -318,7 +318,9 @@ WMUserDefaults *WMGetStandardUserDefaults(void);
 WMUserDefaults *WMGetDefaultsFromPath(char *path);
 
 void WMSynchronizeUserDefaults(WMUserDefaults *database);
-    
+
+void WMSaveUserDefaults(WMUserDefaults *database);
+
 proplist_t WMGetUDObjectForKey(WMUserDefaults *database, char *defaultName);
 
 void WMSetUDObjectForKey(WMUserDefaults *database, proplist_t object,

WINGs/userdefaults.c

@@ -127,6 +127,13 @@ WMSynchronizeUserDefaults(WMUserDefaults *database)
 }
 
 
+void
+WMSaveUserDefaults(WMUserDefaults *database)
+{
+    PLSave(database->appDomain, YES);
+}
+
+
 WMUserDefaults*
 WMGetStandardUserDefaults(void)
 {