wikimedia/mediawiki-extensions-CodeMirror
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/CodeMirror synced 2024-11-23 22:03:28 +00:00
Code Issues Packages Projects Releases Wiki Activity

Match tabSize to surface view CSS property

Browse source 
For browsers that don't support the property, assume
the default value of 8 is used.

Change-Id: Icb9a97fa79e08458bf717903f1d7b68e433e7904
This commit is contained in:
Ed Sanders 2019-11-14 21:52:50 +00:00
parent 7e571828a0
commit cf9885b586
1 changed files with 3 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
resources/modules/ve-cm/ve.ui.CodeMirrorAction.js
View file

@ -71,12 +71,13 @@ ve.ui.CodeMirrorAction.static.fixWhitespace = ( function () {
* @return {boolean} Action was executed * @return {boolean} Action was executed
*/ */
ve.ui.CodeMirrorAction.prototype.toggle = function ( enable ) { ve.ui.CodeMirrorAction.prototype.toggle = function ( enable ) {
var profile, supportsTransparentText, mirrorElement, var profile, supportsTransparentText, mirrorElement, tabSizeValue,
surface = this.surface, surface = this.surface,
surfaceView = surface.getView(), surfaceView = surface.getView(),
doc = surface.getModel().getDocument(); doc = surface.getModel().getDocument();
if ( !surface.mirror && enable !== false ) { if ( !surface.mirror && enable !== false ) {
tabSizeValue = surfaceView.documentView.documentNode.$element.css( 'tab-size' );
surface.mirror = CodeMirror( surfaceView.$element[ 0 ], { surface.mirror = CodeMirror( surfaceView.$element[ 0 ], {
value: this.constructor.static.fixWhitespace( surface.getDom() ), value: this.constructor.static.fixWhitespace( surface.getDom() ),
mwConfig: mw.config.get( 'extCodeMirrorConfig' ), mwConfig: mw.config.get( 'extCodeMirrorConfig' ),
@ -85,6 +86,7 @@ ve.ui.CodeMirrorAction.prototype.toggle = function ( enable ) {
scrollbarStyle: 'null', scrollbarStyle: 'null',
specialChars: /^$/, specialChars: /^$/,
viewportMargin: 5, viewportMargin: 5,
tabSize: tabSizeValue ? +tabSizeValue : 8,
// select mediawiki as text input mode // select mediawiki as text input mode
mode: 'text/mediawiki', mode: 'text/mediawiki',
extraKeys: { extraKeys: {