SEARCH:

UserPref

string Key
any Default
experimental


*EXPERIMENTAL*

Expects the user preferences to have been set with vgaSet under the name "this_user_prefs". Expects the user preferences to be an array.

If the Key is in the array, then the preference is returned, else the Default value is returned.

Note that this is experimental and has been set up only for one client.