It's saved to the GUI preferences, not the core preferences, so it will not appear in settings exports.

There is a distinction between the core settings and GUI-specific stuff like the recent files list, log level, and now the deken install path.

If you want to change that, maybe open another 100+ post discussion or, better yet, write some code as a proposal. I chose the latter. :)

On Jul 29, 2017, at 11:43 PM, pd-list-request@lists.iem.at wrote:

From: "Christof Ressi" <christof.ressi@gmx.at>
Subject: Re: [PD] [PD-announce] Pd 0.48-0test6 released
Date: July 29, 2017 at 10:54:41 PM GMT+2
To: Pd-List <pd-list@lists.iem.at>


yeah, it doesn't show up in the .pdsettings file.

apart from that: everything looks fine on my Windows machine. thank you!!

--------
Dan Wilcox
@danomatika
danomatika.com
robotcowboy.com