Changeset 41992 for trunk/src/wp-admin/js/code-editor.js
- Timestamp:
- 10/24/2017 04:34:12 PM (6 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/wp-admin/js/code-editor.js
r41974 r41992 137 137 // Keep lint options populated. 138 138 editor.on( 'optionChange', function( cm, option ) { 139 var options ;139 var options, gutters, gutterName = 'CodeMirror-lint-markers'; 140 140 if ( 'lint' !== option ) { 141 141 return; 142 142 } 143 gutters = editor.getOption( 'gutters' ) || []; 143 144 options = editor.getOption( 'lint' ); 144 145 if ( true === options ) { 146 if ( ! _.contains( gutters, gutterName ) ) { 147 editor.setOption( 'gutters', [ gutterName ].concat( gutters ) ); 148 } 145 149 editor.setOption( 'lint', getLintOptions() ); // Expand to include linting options. 150 } else if ( ! options ) { 151 editor.setOption( 'gutters', _.without( gutters, gutterName ) ); 146 152 } 147 153
Note: See TracChangeset
for help on using the changeset viewer.