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

Update the CodeMirror icon in NWE to the highlight icon, like in the other editors

Browse source 
Change-Id: I92c61c0bb21fc80ee6ab3ffd521d59764e757f7c
This commit is contained in:
niharika29 2017-08-23 17:22:23 +00:00
parent 60f6efeb47
commit c6ab876fe7
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
resources/modules/ve-cm/ve.ui.CodeMirrorTool.js
View file

@ -25,7 +25,7 @@ OO.inheritClass( ve.ui.CodeMirrorTool, ve.ui.Tool );
ve.ui.CodeMirrorTool.static.name = 'codeMirror'; ve.ui.CodeMirrorTool.static.name = 'codeMirror';
ve.ui.CodeMirrorTool.static.autoAddToCatchall = false; ve.ui.CodeMirrorTool.static.autoAddToCatchall = false;
ve.ui.CodeMirrorTool.static.title = OO.ui.deferMsg( 'codemirror-toggle-label' ); ve.ui.CodeMirrorTool.static.title = OO.ui.deferMsg( 'codemirror-toggle-label' );
ve.ui.CodeMirrorTool.static.icon = 'code'; ve.ui.CodeMirrorTool.static.icon = 'highlight';
ve.ui.CodeMirrorTool.static.group = 'codeMirror'; ve.ui.CodeMirrorTool.static.group = 'codeMirror';
ve.ui.CodeMirrorTool.static.commandName = 'codeMirror'; ve.ui.CodeMirrorTool.static.commandName = 'codeMirror';
ve.ui.CodeMirrorTool.static.deactivateOnSelect = false; ve.ui.CodeMirrorTool.static.deactivateOnSelect = false;