[Jaxx-commits] 01/01: fixes #3580: Introduce a new FilterableDoubleList widget (use Collection api for inputs)