5 Commits

Author	SHA1	Message	Date
Davide	b3c90b6802	Drop animations on reload servers on iOS	2024-11-27 01:22:54 +01:00
Davide	91f4e510c4	Split app and UI domains (#949) ... CommonLibrary had some undesired knowledge of UI. Split AppPreference and UIPreference. Then move some more stuff from AppUI* to UILibrary. WARNING: this forgets existing UI preferences (e.g. favorite servers).	2024-11-26 21:21:49 +01:00
Davide	8ec6f90077	Connect on provider server selection (#941) ... Unless profile is current and active, in which case AppContext does it under the hood.	2024-11-26 10:30:30 +01:00
Davide	19da40d3f8	Simplify VPNProviderServerView components (#939) ... Merge former ContainerView into main view and define platform-specific subviews: - ContainerView (composition of content + filters) - ContentView - FiltersView	2024-11-26 09:20:00 +01:00
Davide	b357d985ed	Add "Refresh infrastructure" in server lists (#938) ... Refactoring: - Split Providers and VPN views - Rename VPNProviderServerView subviews - Reuse RefreshInfrastructureButton Closes #929	2024-11-26 01:04:58 +01:00