2 Commits

Author	SHA1	Message	Date
Davide	14aae4e02a	Define common PreferenceProtocol	2024-11-27 09:40:32 +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