mediawiki-extensions-Visual.../modules/ve-mw/ui/styles/dialogs/ve.ui.MWPreDialog.css

/*!
 * VisualEditor MediaWiki UserInterface MWPreDialog styles.
 *
 * @copyright 2011-2018 VisualEditor Team and others; see AUTHORS.txt
 * @license The MIT License (MIT); see LICENSE.txt
 */

.ve-ui-mwPreDialog .oo-ui-textInputWidget {
	width: 100%;
	max-width: none;
	/* Don't allow the widget to force the dialog to have scrollbars */
	height: 100%;
	/* Support: Blink, Gecko, Webkit */
	/* Specify a valid second value to fix size, see T176636 */
	font-family: monospace, monospace;
}

.ve-ui-mwPreDialog .oo-ui-textInputWidget textarea {
	max-height: 100%;
}
Update `<pre>` support for Parsoid changes After 79ccfb9372cb57afa569036ef39ead13abfba673, MediaWiki's `<pre>` tags get rendered as `<pre typeof="mw:Extension/pre">` in Parsoid HTML. MediaWiki's indent-pre syntax (block indented by a single space) is still rendered as `<pre>` in Parsoid HTML, however. Indent-pre is still handled by MWPreformattedNode (no changes). Introducing MWPreNode, which will handle `<pre>` extension tags, and MWPreDialog to change its contents (and allow converting to MWPreformattedNode). Pieces copied from MWGalleryNode, MWLinkNodeInspector, CommentInspector. Possible future improvements: * Add a specific icon for MWPreContextItem * Avoid API roundtrips for rendering (but rendering wikitext <pre> is not as simple as it looks) * Consider a way to insert these other than '<pre' sequence Bug: T159900 Change-Id: I5bc4ea6e5d893736f65ef0dd43b08c18cb1a1e85 2017-03-02 21:20:35 +00:00			`/*!`
			`* VisualEditor MediaWiki UserInterface MWPreDialog styles.`
			`*`
doc: Bump copyright year Change-Id: I0b299c840ede1a1b8552cecfc70c5760ab036181 2018-01-03 00:54:47 +00:00			`* @copyright 2011-2018 VisualEditor Team and others; see AUTHORS.txt`
Update `<pre>` support for Parsoid changes After 79ccfb9372cb57afa569036ef39ead13abfba673, MediaWiki's `<pre>` tags get rendered as `<pre typeof="mw:Extension/pre">` in Parsoid HTML. MediaWiki's indent-pre syntax (block indented by a single space) is still rendered as `<pre>` in Parsoid HTML, however. Indent-pre is still handled by MWPreformattedNode (no changes). Introducing MWPreNode, which will handle `<pre>` extension tags, and MWPreDialog to change its contents (and allow converting to MWPreformattedNode). Pieces copied from MWGalleryNode, MWLinkNodeInspector, CommentInspector. Possible future improvements: * Add a specific icon for MWPreContextItem * Avoid API roundtrips for rendering (but rendering wikitext <pre> is not as simple as it looks) * Consider a way to insert these other than '<pre' sequence Bug: T159900 Change-Id: I5bc4ea6e5d893736f65ef0dd43b08c18cb1a1e85 2017-03-02 21:20:35 +00:00			`* @license The MIT License (MIT); see LICENSE.txt`
			`*/`

			`.ve-ui-mwPreDialog .oo-ui-textInputWidget {`
			`width: 100%;`
			`max-width: none;`
			`/* Don't allow the widget to force the dialog to have scrollbars */`
			`height: 100%;`
Unify monospace font family stack Bug: T176636 Change-Id: I9ad1a92cef7875371e232c8e4babc842ba711e8c 2017-09-27 22:24:53 +00:00			`/* Support: Blink, Gecko, Webkit */`
			`/* Specify a valid second value to fix size, see T176636 */`
			`font-family: monospace, monospace;`
Update `<pre>` support for Parsoid changes After 79ccfb9372cb57afa569036ef39ead13abfba673, MediaWiki's `<pre>` tags get rendered as `<pre typeof="mw:Extension/pre">` in Parsoid HTML. MediaWiki's indent-pre syntax (block indented by a single space) is still rendered as `<pre>` in Parsoid HTML, however. Indent-pre is still handled by MWPreformattedNode (no changes). Introducing MWPreNode, which will handle `<pre>` extension tags, and MWPreDialog to change its contents (and allow converting to MWPreformattedNode). Pieces copied from MWGalleryNode, MWLinkNodeInspector, CommentInspector. Possible future improvements: * Add a specific icon for MWPreContextItem * Avoid API roundtrips for rendering (but rendering wikitext <pre> is not as simple as it looks) * Consider a way to insert these other than '<pre' sequence Bug: T159900 Change-Id: I5bc4ea6e5d893736f65ef0dd43b08c18cb1a1e85 2017-03-02 21:20:35 +00:00			`}`

			`.ve-ui-mwPreDialog .oo-ui-textInputWidget textarea {`
			`max-height: 100%;`
			`}`