mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/CodeEditor
synced 2024-12-02 18:56:38 +00:00
8fe95e1469
* Scroll up a few lines so that the user can see the error context * Defer processing of the fragment until the load event, otherwise the code editor is not fully initialised and does not properly respond to the navigateTo() call. |
||
---|---|---|
.. | ||
ace | ||
ext.codeEditor.geshi.js | ||
ext.codeEditor.js | ||
jquery.codeEditor.js |