mediawiki-extensions-CodeMi.../resources/ext.CodeMirror.less

@import 'mediawiki.mixins';

/* TODO: Remove styles below following CM6 upgrade, or move them to ext.CodeMirror.v6.WikiEditor.less */

.wikiEditor-ui .CodeMirror {
	line-height: 1.5em;
	padding: 0.1em;
	clear: both;
	box-sizing: border-box;

	pre,
	.CodeMirror-lines {
		padding: 0;
	}
}
Cleanup and use SVG icons Change-Id: Idcad8e2554c5e44155c88bd925186095e3aad930 2017-03-22 12:42:45 +00:00			`@import 'mediawiki.mixins';`

CodeMirror: highlight special characters and non-breaking spaces The highlightSpecialChars() should act mostly identical to CM5. An example is the soft hyphen (U+00AD). These are highlighted as a red dot because they are non-printable characters. The i18n may seem like overkill, but CM6 would otherwise actually print the same message in plain English and without a way to localize it. Per request at T181677, we also highlight non-breaking space and the narrow non-breaking space. These are shown as a faint gray dot, to match CM6's highlightWhiteSpace() extension. That extension isn't used here because it would also highlight normal spaces, which we don't want. Bug: T181677 Change-Id: Iac1a8cf78e4cd0a27abc917f4b70bdfbaf86252a 2024-01-19 00:33:58 +00:00			`/* TODO: Remove styles below following CM6 upgrade, or move them to ext.CodeMirror.v6.WikiEditor.less */`

Conditionally load CodeMirror lib Also remove two unneeded dependencies Bug: T209824 Change-Id: I5b528bde346780ca5ae5d615c4ca0d617a6cd615 2019-03-09 15:52:49 +00:00			`.wikiEditor-ui .CodeMirror {`
Styling fixes * Move CSS out of mediawiki.css which is for wikitext highlighting rules. * Account for wikieditor-ui adding wrappers even when disabled. Change-Id: I0fca693a6771ee1d790800c9afd5c7091fda20c1 2017-03-27 13:00:31 +00:00			`line-height: 1.5em;`
			`padding: 0.1em;`
Set 'clear: both' on .CodeMirror for compatibility with gadgets .CodeMirror is supposed to magically replace it. Some gadgets' interface displays incorrectly without it. Change-Id: I27e2b5b462aa445a13f50dc99af57b4bb0ad3067 2017-09-13 19:15:31 +00:00			`clear: both;`
Support WikiEditor's realtime-preview feature Add support for enabling, resizing, and disabling the new realtime-preview feature. Bug: T293347 Bug: T303767 Change-Id: I8c8c25fe56be55a61f4b8d1d2ef8cf74483aa241 2022-02-16 07:53:23 +00:00			`box-sizing: border-box;`
Set 'clear: both' on .CodeMirror for compatibility with gadgets .CodeMirror is supposed to magically replace it. Some gadgets' interface displays incorrectly without it. Change-Id: I27e2b5b462aa445a13f50dc99af57b4bb0ad3067 2017-09-13 19:15:31 +00:00
Conditionally load CodeMirror lib Also remove two unneeded dependencies Bug: T209824 Change-Id: I5b528bde346780ca5ae5d615c4ca0d617a6cd615 2019-03-09 15:52:49 +00:00			`pre,`
			`.CodeMirror-lines {`
			`padding: 0;`
			`}`
Styling fixes * Move CSS out of mediawiki.css which is for wikitext highlighting rules. * Account for wikieditor-ui adding wrappers even when disabled. Change-Id: I0fca693a6771ee1d790800c9afd5c7091fda20c1 2017-03-27 13:00:31 +00:00			`}`