Fixed POP3 *not* delete

app/src/main/java/eu/faircode/email/Core.java

@@ -1051,8 +1051,10 @@ class Core {
         // Delete message
         DB db = DB.getInstance(context);
 
-        if (!account.leave_deleted &&
+        if (EntityFolder.INBOX.equals(folder.type)) {
-                EntityFolder.INBOX.equals(folder.type)) {
+            if (account.leave_deleted)
+                db.message().setMessageUiHide(message.id, true);
+            else {
                 Map<String, String> caps = istore.capabilities();
 
                 Message[] imessages = ifolder.getMessages();
@@ -1090,10 +1092,9 @@ class Core {
                     }
                 else
                     db.message().deleteMessage(folder.id, message.id);
-        } else {
-            if (!EntityFolder.INBOX.equals(folder.type))
-                db.message().deleteMessage(folder.id, message.id);
             }
+        } else
+            db.message().deleteMessage(folder.id, message.id);
 
         if (!EntityFolder.DRAFTS.equals(folder.type) &&
                 !EntityFolder.TRASH.equals(folder.type)) {