Patrick Hiesel b89e20a150 Rename Preferences to StoredPreferences ...

The class that is currently called 'Preferences' only deals with parsing
and storing user preferences in NoteDb. This commit renames the class to
'StoredPreferences' to free up the name 'Preferences' for future use.

Change-Id: Ib1abbb96418bfea61a6aec8cc8b3babad2d1f3a5

2019-09-24 16:27:05 +02:00

..

gerrit

Rename Preferences to StoredPreferences

2019-09-24 16:27:05 +02:00