Profiles

Created a topic, How to change the default WP source code editor theme (via CodeMirror?), on the site WordPress.org Forums:
Hey all, So I have a really hard time reading and wor…