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
..
PreferencesGroup.swift	Split app and UI domains (#949)	2024-11-26 21:21:49 +01:00
PreferencesView.swift	Refactor String identifiers (#920)	2024-11-23 20:31:22 +01:00