Davide
|
8f778faa5d
|
Inform about use of profile name in Shortcuts (#954)
Now that Siri is superseded by the more general Shortcuts automations,
add an informational footer below the "Name" field of the profile
editor.
|
2024-11-27 15:30:15 +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 |
|
Davide
|
f13a292b4b
|
Refactor String identifiers (#920)
- Group all views under "views.*"
- Split global strings into actions and nouns
- Use underscores
- Clean up unused
Fixes #835
|
2024-11-23 20:31:22 +01:00 |