jenkins-bot has submitted this change and it was merged.
Change subject: Apply user preference 'editfont' to NWE
......................................................................
Apply user preference 'editfont' to NWE
Expects I5f0433e9 in core
Bug: T145016
Change-Id: I3b57d566d2846ea284e620d7335c4a3f62df518a
---
M modules/ve-mw/ui/styles/ve.ui.MWDesktopWikitextSurface.css
M modules/ve-mw/ui/ve.ui.MWDesktopWikitextSurface.js
2 files changed, 6 insertions(+), 2 deletions(-)
Approvals:
Alex Monk: Looks good to me, but someone else must approve
Jforrester: Looks good to me, approved
jenkins-bot: Verified
diff --git a/modules/ve-mw/ui/styles/ve.ui.MWDesktopWikitextSurface.css
b/modules/ve-mw/ui/styles/ve.ui.MWDesktopWikitextSurface.css
index 9720251..2a85fc0 100644
--- a/modules/ve-mw/ui/styles/ve.ui.MWDesktopWikitextSurface.css
+++ b/modules/ve-mw/ui/styles/ve.ui.MWDesktopWikitextSurface.css
@@ -6,7 +6,6 @@
*/
.ve-ui-mwDesktopWikitextSurface .ve-ce-documentNode {
- font-family: monospace;
font-size: 13.3333px;
}
diff --git a/modules/ve-mw/ui/ve.ui.MWDesktopWikitextSurface.js
b/modules/ve-mw/ui/ve.ui.MWDesktopWikitextSurface.js
index 6d8bce6..a00a4bf 100644
--- a/modules/ve-mw/ui/ve.ui.MWDesktopWikitextSurface.js
+++ b/modules/ve-mw/ui/ve.ui.MWDesktopWikitextSurface.js
@@ -20,7 +20,12 @@
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 */
--
To view, visit https://gerrit.wikimedia.org/r/309178
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I3b57d566d2846ea284e620d7335c4a3f62df518a
Gerrit-PatchSet: 6
Gerrit-Project: mediawiki/extensions/VisualEditor
Gerrit-Branch: master
Gerrit-Owner: Esanders <[email protected]>
Gerrit-Reviewer: Alex Monk <[email protected]>
Gerrit-Reviewer: Jforrester <[email protected]>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
