wikimedia/mediawiki-extensions-VisualEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor synced 2024-12-01 01:16:30 +00:00
Code Issues Packages Projects Releases Wiki Activity

Apply user preference 'editfont' to NWE

Browse source 
Expects I5f0433e9 in core

Bug: T145016
Change-Id: I3b57d566d2846ea284e620d7335c4a3f62df518a
This commit is contained in:
Ed Sanders 2016-09-07 14:45:59 -07:00 committed by Alex Monk
parent 4fbe06a15c
commit 2ce9979d36
2 changed files with 6 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
modules/ve-mw/ui/styles/ve.ui.MWDesktopWikitextSurface.css
View file

@ -6,7 +6,6 @@
*/
.ve-ui-mwDesktopWikitextSurface .ve-ce-documentNode {
font-family: monospace;
font-size: 13.3333px;
}

7
modules/ve-mw/ui/ve.ui.MWDesktopWikitextSurface.js
View file

@ -20,7 +20,12 @@ ve.ui.MWDesktopWikitextSurface = function VeUiMWDesktopWikitextSurface() {
ve.ui.MWDesktopWikitextSurface.super.apply( this, arguments );
// Initialization
this.$element.addClass( 've-ui-mwDesktopWikitextSurface' );
// The following classes can be used here:
// * mw-editfont-default
// * mw-editfont-monospace
// * mw-editfont-sans-serif
// * mw-editfont-serif
this.$element.addClass( 've-ui-mwDesktopWikitextSurface mw-editfont-' + mw.user.options.get( 'editfont' ) );
};
/* Inheritance */