T359498 added a preferences dialog for CodeMirror, but it didn't add it to the 2017 editor integration. The current CodeMirror full-preferences dialog that was implemented doesn't fit into the VE UX, and also references quite a few settings that cannot apply to the CodeMirror-NWE-overlay implementation:
As such, the 2017 editor currently always uses the default CodeMirror preferences, ignoring the user's settings from the WikiEditor integration if they have set them.


