소스 검색

File browser extension now ignores case.

markhannel 6 년 전
부모
커밋
d6fe0456d5
1개의 변경된 파일1개의 추가작업 그리고 1개의 파일을 삭제
  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 => {