Davide 1a82aea612 Optionally apply filters based on server selection (#754) ... Restore passing selectedEntity, but add filtersWithSelection to decide whether to filter servers based on selection. Partially revert 91a3e42533		2024-10-23 22:57:30 +02:00
..
About	TODO -> FIXME	2024-10-04 10:30:14 +02:00
App	Start entity selector unfiltered	2024-10-23 21:22:05 +02:00
Diagnostics	Attach provider ID to issue report	2024-10-23 17:32:49 +02:00
Extensions	Quick selection of provider server (#750)	2024-10-23 17:17:20 +02:00
Modules	Optionally apply filters based on server selection (#754)	2024-10-23 22:57:30 +02:00
Paywall	TODO -> FIXME	2024-10-04 10:30:14 +02:00
Profile	Fix environment scope for .navigationPath on iOS	2024-10-23 15:46:00 +02:00
ProfileEditor	Avoid nested module navigation (#749)	2024-10-23 15:42:54 +02:00
Provider	Optionally apply filters based on server selection (#754)	2024-10-23 22:57:30 +02:00
Settings	Several fixes in ProfileManager (#685)	2024-10-04 20:58:11 +02:00
Theme	Quick selection of provider server (#750)	2024-10-23 17:17:20 +02:00
UI	Optionally apply filters based on server selection (#754)	2024-10-23 22:57:30 +02:00