mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/CodeMirror
synced 2024-11-15 10:19:27 +00:00
16 lines
420 B
JavaScript
16 lines
420 B
JavaScript
/*global CodeMirror*/
|
|
jQuery( document ).ready( function ( $ ) {
|
|
var textbox1 = $( '#wpTextbox1' );
|
|
var codeMirror = CodeMirror.fromTextArea( textbox1[0], {
|
|
styleActiveLine: true,
|
|
//lineNumbers: true,
|
|
lineWrapping: true,
|
|
//indentUnit: 4,
|
|
//indentWithTabs: true
|
|
//matchBrackets: true,
|
|
//autoCloseBrackets: true,
|
|
mode: 'text/mediawiki'
|
|
} );
|
|
codeMirror.setSize( null, textbox1.height() );
|
|
} );
|