preferences
This will be a feature when we do it, letting users implicitly or explicitly have personal settings that persist across sessions. See add persistent user preferences and GUI for them.
This will be a feature when we do it, letting users implicitly or explicitly have personal settings that persist across sessions. See add persistent user preferences and GUI for them.