How does WordPress remember which editor is being used?

wp-settings cookie screenshot

its stored in the cookie wp-settings-USERID, replace USERID with the id of the logged in user.

the two values are editor=tinymce or editor=html