UserPreferences

The local person's identity, held in a signal so that renaming or recolouring re-renders anything that shows it. Session-only: nothing here is persisted with the document.

@deprecated Superseded by the identity/preferences split in ../user: an identity is a User record resolved through a UserStore, and the settings are a plain UserPreferencesState read through a UserPreferencesManager. The manager implements every method below, so Editor.user can be switched over without touching its call sites; this interface stays until it is.