wp/wp-admin/js/theme-plugin-editor.js
changeset 21 48c4eec2b7e6
parent 18 be944660c56a
child 22 8c2e4d02f4ef
equal deleted inserted replaced
20:7b1b88e27a20 21:48c4eec2b7e6
   189 
   189 
   190 		if ( component.isSaving ) {
   190 		if ( component.isSaving ) {
   191 			return;
   191 			return;
   192 		}
   192 		}
   193 
   193 
   194 		// Scroll ot the line that has the error.
   194 		// Scroll to the line that has the error.
   195 		if ( component.lintErrors.length ) {
   195 		if ( component.lintErrors.length ) {
   196 			component.instance.codemirror.setCursor( component.lintErrors[0].from.line );
   196 			component.instance.codemirror.setCursor( component.lintErrors[0].from.line );
   197 			return;
   197 			return;
   198 		}
   198 		}
   199 
   199