WPrefs: Save menu back to the file we read it from.
commitf63635dd17fc60a95845dde60d3576c48d5633b3
authorDoug Torrance <dtorrance@piedmont.edu>
Sat, 19 Aug 2017 14:48:43 +0000 (19 10:48 -0400)
committerCarlos R. Mafra <crmafra@gmail.com>
Sat, 19 Aug 2017 14:59:13 +0000 (19 15:59 +0100)
tree90185cf4c6197cb187f83137bcc640a71e3f477f
parent97702618deb5ae613e6b8e91834886d5b1377c5a
WPrefs: Save menu back to the file we read it from.

Previously, we saved any modifications back to WMRootMenu, regardless of
the file we read the menu from.
WPrefs.app/Menu.c