Specifically supports "dir" attribute being on top level "pre" element, and handles application/switching of this within the editor. For #4809 |
||
---|---|---|
.. | ||
index.mjs | ||
languages.js | ||
legacy-modes.mjs | ||
setups.js | ||
simple-editor-interface.js | ||
themes.js | ||
views.js |