How WordPress remembers which active editing modes are used?

WordPress stores this option as user meta ({$wpdb->prefix}user-settings).

You can use get_user_setting('editor', 'tinymce') to get it’s value (editor is setting name, and tinymce is default value).