BetterUntis
BetterUntis copied to clipboard
[Bug Report] Deleting Profiles
Description
Deleting a profile does not delete the preferences associated with the profile, resulting in a new profile adopting the settings of the old profile.
I see...
SQLite internally uses rowid
when a column is specified as PRIMARY KEY
, which is the case for the profile id. However, these integers get reused, so it'd also be possible to define the column as AUTOINCREMENT
to prevent this.
But since the preferences for each profile are defined in separate files it would also be possible to just delete that specific file when the profile gets deleted.
Hang on... Profile preferences should already be deleted (see 7e413b3ec564d3bd272e3844f6ceef38c7ae12f7). Not sure why it's not working.
This will be fixed with the Material 3 Update (#290).