wikimedia/mediawiki-extensions-CodeMirror
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/CodeMirror synced 2024-11-15 02:04:02 +00:00
Code Issues Packages Projects Releases Wiki Activity

Render everything as long as user doesn't start typing/moving cursor

Browse source 
Bug: T174480
Change-Id: I106b1d0d2a68e8ba2b346fd6aaf06b530d18f8d4
This commit is contained in:
Niharika Kohli 2017-09-05 12:33:41 -07:00
parent b723eb3d8a
commit 279103fea9
1 changed files with 3 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
resources/ext.CodeMirror.js
View file

@ -371,8 +371,10 @@
// T174055: Do not redefine the browser history navigation keys
'Alt-Left': false,
'Alt-Right': false
}
},
viewportMargin: Infinity
} );
$codeMirror = $( codeMirror.getWrapperElement() );
// HACK: <textarea> font size varies by browser (chrome/FF/IE)