Davide a92c2c2c64 Fix profile menus ... - Omit duplicate/delete from current profile - Replace .infoButton with .installedProfile if current - Drop dots from direct actions - Disable trailing dots on iOS/tvOS - Disable "Connect to" if ineligible (decouple to own view)		2024-11-27 01:20:42 +01:00
..
ProviderConnectToButton.swift	Fix profile menus	2024-11-27 01:20:42 +01:00
ProviderContentModifier.swift	Add "Refresh infrastructure" in server lists (#938)	2024-11-26 01:04:58 +01:00
ProviderEntitySelector.swift	Connect on provider server selection (#941)	2024-11-26 10:30:30 +01:00
ProviderPicker.swift	Refactor String identifiers (#920)	2024-11-23 20:31:22 +01:00