Ed Sanders 9960ed601f Remove font-size now it is set by editfont ... Bug: T180678 Change-Id: Ic9e8bdb3b34dbb2f2c5748d6bb57e9da90112118		2017-12-21 12:21:57 +00:00
..
ve.ui.CodeMirror.init.js	Respect beta feature in new wikitext editor	2017-08-30 22:53:55 +01:00
ve.ui.CodeMirror.init.less	Remove font-size now it is set by editfont	2017-12-21 12:21:57 +00:00
ve.ui.CodeMirrorAction.js	Disable WebkitTextFillColor in Firefox+OSX	2017-11-30 18:05:52 +00:00
ve.ui.CodeMirrorTool.js	Update the CodeMirror icon in NWE to the highlight icon, like in the other editors	2017-08-23 17:22:23 +00:00