[PD] questions about Preferences

[rolfm at dds.nl]

hi,

i have some questions about the Preferences (i'm on Windows 10, 
Pd-0.48.1).

after changing the 'Externals Install Directory' in the Preferences (EID 
for short) plugins are still loaded from the standard AppData/../Pd 
folder.

is that a bug?


when i save the preferences to a file, the EID is not included in this 
'my.pdsettings'.


furthermore, this 'my.pdsettings' gets applied to every Pd-instance i 
have on my system.

so, the settings are still per-machine?


rolf