Fixed Bug: #0470 - Incorrect search with russian capital letters

This commit is contained in:
AlgorithmX2 2014-05-29 11:51:07 -05:00
parent 3746c49d49
commit e17ac60141

View file

@ -225,7 +225,7 @@ public class ItemRepo
String dspName = Platform.getItemDisplayName( is );
notDone = true;
if ( m.matcher( dspName ).find() )
if ( m.matcher( dspName.toLowerCase() ).find() )
{
view.add( is );
notDone = false;