profile editor: remove the profile options when removing a profile

diff --git a/app/src/main/java/net/ktnx/mobileledger/model/MobileLedgerProfile.java b/app/src/main/java/net/ktnx/mobileledger/model/MobileLedgerProfile.java
index ba4a99b8c9e3bef102af971423ae9d6db55436c2..a12582714c73721922bfdd69eef197d8b4ad5764 100644 (file)
--- a/app/src/main/java/net/ktnx/mobileledger/model/MobileLedgerProfile.java
+++ b/app/src/main/java/net/ktnx/mobileledger/model/MobileLedgerProfile.java
@@ -314,6 +314,7 @@ public final class MobileLedgerProfile {
             db.execSQL("delete from account_values where profile=?", uuid_param);
             db.execSQL("delete from transactions where profile=?", uuid_param);
             db.execSQL("delete from transaction_accounts where profile=?", uuid_param);
+            db.execSQL("delete from options where profile=?", uuid_param);
             db.setTransactionSuccessful();
         }
         finally {