diff --git a/resources/ext.CodeMirror.js b/resources/ext.CodeMirror.js
index 14169ee0..f2c4fb1c 100644
--- a/resources/ext.CodeMirror.js
+++ b/resources/ext.CodeMirror.js
@@ -74,7 +74,7 @@
 	function setCodeEditorPreference( prefValue ) {
 		useCodeMirror = prefValue; // Save state for function updateToolbarButton()
 
-		if ( mw.user.isAnon() ) { // Skip it for anon users
+		if ( !mw.user.isNamed() ) { // Skip it for unnamed users
 			return;
 		}
 		api.saveOption( 'usecodemirror', prefValue ? 1 : 0 );