wikimedia/mediawiki-extensions-VisualEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor synced 2024-11-28 16:20:52 +00:00
Code Issues Packages Projects Releases Wiki Activity

Merge "Make parameter search widget case insensitive"

Browse source
This commit is contained in:
jenkins-bot 2014-03-08 00:54:58 +00:00 committed by Gerrit Code Review
parent ee586bde61 066a471346
commit 0481d57b30
1 changed files with 10 additions and 5 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

15
modules/ve-mw/ui/widgets/ve.ui.MWParameterSearchWidget.js
View file

@ -96,7 +96,10 @@ ve.ui.MWParameterSearchWidget.prototype.buildIndex = function () {
description = spec.getParameterDescription( name );
this.index.push( {
'text': [ name, label, aliases.join( ' ' ), description ].join( ' ' ),
// Query information
'text': [ label, description ].join( ' ' ).toLowerCase(),
'names': [ name ].concat( aliases ).join( '|' ).toLowerCase(),
// Display information
'name': name,
'label': label,
'aliases': aliases,
@ -114,17 +117,19 @@ ve.ui.MWParameterSearchWidget.prototype.buildIndex = function () {
* @method
*/
ve.ui.MWParameterSearchWidget.prototype.addResults = function () {
var i, len, item,
var i, len, item, textMatch, nameMatch,
exactMatch = false,
value = this.query.getValue().trim(),
value = this.query.getValue().trim().replace( /[\|\{\}]/g, '' ),
query = value.toLowerCase(),
items = [];
for ( i = 0, len = this.index.length; i < len; i++ ) {
item = this.index[i];
if ( item.text.indexOf( query ) >= 0 ) {
textMatch = item.text.indexOf( query ) >= 0;
nameMatch = item.names.indexOf( query ) >= 0;
if ( textMatch || nameMatch ) {
items.push( new ve.ui.MWParameterResultWidget( item, { '$': this.$ } ) );
if ( item.name === value || ve.indexOf( value, item.aliases ) !== -1 ) {
if ( nameMatch ) {
exactMatch = true;
}
}