==== Steps to Reproduce:
1. Set "Edit area font style:" to sans or serif font. https://www.mediawiki.org/wiki/Special:Preferences#mw-prefsection-editing
1. Edit source with WTE 2010 or WTE 2017 https://www.mediawiki.org/w/index.php?title=2017_wikitext_editor&action=edit
1. Switch on / off "Syntax highlighting" on toolbar (WTE 2010) or hamburger menu (WTE 2017).
==== Actual Results:
When highlighting is enabled the text is rendered with **monospace font**.
{F31621762}
==== Expected Results:
The text is always rendered in the editor with a font according to the "Edit area font style:" setting.
{F31621764}
== Questions
After a superficial skimming of the javascript code, this seems to be intentional: the used class is always `.mw-editfont-monospace`.
1. Why is that so?
1. Are there any concerns that would block using the proper setting?
1. How to query that setting in client javascript?