Parcourir la source

Merge pull request #5535 from markhannel/case-fix

File browser extension now ignores case.
Steven Silvester il y a 6 ans
Parent
commit
eb7f15e555
1 fichiers modifiés avec 1 ajouts et 1 suppressions
  1. 1 1
      packages/filebrowser/src/listing.ts

+ 1 - 1
packages/filebrowser/src/listing.ts

@@ -522,7 +522,7 @@ export class DirListing extends Widget {
    * Select the first item that starts with prefix being typed.
    */
   selectByPrefix(): void {
-    const prefix = this._searchPrefix;
+    const prefix = this._searchPrefix.toLowerCase();
     let items = this._sortedItems;
 
     let index = ArrayExt.findFirstIndex(items, value => {