mirror of
https://github.com/earendil-works/pi.git
synced 2026-06-18 15:54:04 +08:00
Add fuzzy search to settings list
This commit is contained in:
committed by
Mario Zechner
Unverified
parent
0138eee6f7
commit
ec2b7b5a00
@@ -309,6 +309,7 @@ export class SettingsSelectorComponent extends Container {
|
||||
}
|
||||
},
|
||||
callbacks.onCancel,
|
||||
{ enableSearch: true },
|
||||
);
|
||||
|
||||
this.addChild(this.settingsList);
|
||||
|
||||
Reference in New Issue
Block a user