211b3b83d3
Also, fix SwiftUI not refreshing when remote profiles are updated. There was no objectWillChange nor Published around ProfileManager.allRemoteProfiles, and ProfileRowView was not treating it as ObservedObject. Closes #673 |
||
---|---|---|
.. | ||
Modules | ||
AppError+L10n.swift | ||
EditableModule+Description.swift | ||
ErrorHandler+Default.swift | ||
Foundation+L10n.swift | ||
ModuleType+L10n.swift | ||
PassepartoutKit+L10n.swift | ||
Strings+Unlocalized.swift | ||
SwiftGen+Strings.swift |