mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor
synced 2024-11-15 10:35:48 +00:00
49f603c703
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
39 lines
1 KiB
JavaScript
39 lines
1 KiB
JavaScript
/*!
|
|
* VisualEditor UserInterface MWPreTextInputWidget class.
|
|
*
|
|
* @copyright 2011-2017 VisualEditor Team and others; see http://ve.mit-license.org
|
|
*/
|
|
|
|
/**
|
|
* Text input widget which hides but preserves a single leading and trailing newline.
|
|
*
|
|
* @class
|
|
* @extends ve.ui.WhitespacePreservingTextInputWidget
|
|
*
|
|
* @constructor
|
|
* @param {Object} [config] Configuration options
|
|
*/
|
|
ve.ui.MWPreTextInputWidget = function VeUiMWPreTextInputWidget( config ) {
|
|
// Parent constructor
|
|
ve.ui.MWPreTextInputWidget.super.call( this, config );
|
|
};
|
|
|
|
/* Inheritance */
|
|
|
|
OO.inheritClass( ve.ui.MWPreTextInputWidget, ve.ui.WhitespacePreservingTextInputWidget );
|
|
|
|
/* Methods */
|
|
|
|
/**
|
|
* @inheritdoc
|
|
*/
|
|
ve.ui.MWPreTextInputWidget.prototype.setValueAndWhitespace = function ( value ) {
|
|
this.whitespace[ 0 ] = value.match( /^\n?/ )[ 0 ];
|
|
value = value.slice( this.whitespace[ 0 ].length );
|
|
|
|
this.whitespace[ 1 ] = value.match( /\n?$/ )[ 0 ];
|
|
value = value.slice( 0, value.length - this.whitespace[ 1 ].length );
|
|
|
|
this.setValue( value );
|
|
};
|