6 Commits

Author	SHA1	Message	Date
Davide	f66193cf78	Several fixes in ProfileManager (#685) ... - [x] Search not accounted for when reloading profiles - [x] Remote profile being saved twice - [x] Add some logging	2024-10-04 20:58:11 +02:00
Davide De Rosa	fc834ab367	Replace Section with .themeSection ... Closes #676	2024-10-03 23:32:31 +02:00
Davide	211b3b83d3	Erase iCloud store from Settings (#675) ... 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	2024-10-03 23:25:51 +02:00
Davide	63b0199a39	Merge Settings into About on iOS (#670) ... Closes #669	2024-10-03 11:25:39 +02:00
Davide	28a2017da2	Confirm quit on macOS (#634) ... To do so, must prevent window from closing. Fixes #223	2024-09-28 17:58:48 +02:00
Davide	5deb8ec763	Prepare for macOS settings (#629)	2024-09-28 12:47:33 +02:00