In the settings refactor I'd assumed server settings were like project
settings. This is not the case, they are in fact the normal user
settings;
but just read from the server.
Release Notes:
- N/A
30a29ab34eConrad Irwin committed on 9/19/2025, 4:38:39 PM· committed by GitHubparentb9188e0