Allow deleting RULE operations

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

@@ -190,6 +190,7 @@ public class FragmentOperations extends FragmentBase {
                                             addAll(ops, db.operation().getOperations(EntityOperation.BODY));
                                             addAll(ops, db.operation().getOperations(EntityOperation.ATTACHMENT));
                                             addAll(ops, db.operation().getOperations(EntityOperation.HEADERS));
+                                            addAll(ops, db.operation().getOperations(EntityOperation.RULE));
                                             addAll(ops, db.operation().getOperations(EntityOperation.SYNC));
                                         }
 

app/src/main/res/layout/dialog_delete_operations.xml

@@ -49,7 +49,7 @@
             android:layout_height="wrap_content"
             android:layout_marginStart="48dp"
             android:fontFamily="monospace"
-            android:text="FETCH, BODY, ATTACHMENT, HEADERS, SYNC"
+            android:text="FETCH, BODY, ATTACHMENT, HEADERS, RULE, SYNC"
             android:textAppearance="@style/TextAppearance.AppCompat.Small"
             android:textSize="12sp"
             app:layout_constraintEnd_toEndOf="parent"