Re: [PATCH 2/3] WPrefs: Save menu back to the file we read it from.

"Carlos R. Mafra" <[email protected]> Sat, 19 Aug 2017 15:58:58 +0100

Newsgroups	gmane.compw.window-managers.windowmaker.devel
Message-ID	<[email protected]>

On Sat, 19 Aug 2017 at 10:48:43 -0400, Doug Torrance wrote:
> Previously, we saved any modifications back to WMRootMenu, regardless of
> the file we read the menu from.

Thanks a lot, Doug! You rock!


-- 
To unsubscribe, send mail to [email protected].