wikimedia/mediawiki-extensions-CodeEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/CodeEditor synced 2024-11-27 16:40:07 +00:00
Code Issues Packages Projects Releases Wiki Activity

Remove comment about resolved upstream issue

Browse source 
Change-Id: Ia92bb37bca7613049d9f3cd3601b78864c303d48
This commit is contained in:
Ed Sanders 2018-03-21 18:37:06 +00:00 committed by Jforrester
parent 951b9c4e07
commit d278279abd
1 changed files with 0 additions and 4 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
modules/ext.codeEditor.js
View file

@ -28,10 +28,6 @@
* - 'discard your changes?' check on tab close doesn't trigger
* - scrollbar initializes too wide; need to trigger resize check after that's filled
* - cursor/scroll position not maintained over previews/show changes
*
* Reported upstream:
* - ctrl+R, ctrl+L, ctrl+T are taken over by the editor, which is SUPER annoying
* https://github.com/ajaxorg/ace/issues/210
*/
/*
* JavaScript for WikiEditor Table of Contents