[Jaxx-commits] 01/01: fixes #3580: Introduce a new FilterableDoubleList widget