Dismiss popup on detaching anchor

app/build.gradle

@@ -13,8 +13,8 @@ android {
         applicationId "eu.faircode.email"
         minSdkVersion 21
         targetSdkVersion 29
-        versionCode 717
+        versionCode 718
-        versionName "1.717"
+        versionName "1.718"
         archivesBaseName = "FairEmail-v$versionName"
 
         // https://en.wikipedia.org/wiki/List_of_dinosaur_genera

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

@@ -36,6 +36,18 @@ public class PopupMenuLifecycle extends PopupMenu implements LifecycleObserver {
         super(context, anchor);
         this.owner = owner;
         Log.i("Instantiate " + this);
+
+        anchor.addOnAttachStateChangeListener(new View.OnAttachStateChangeListener() {
+            @Override
+            public void onViewAttachedToWindow(View v) {
+                // Do nothing
+            }
+
+            @Override
+            public void onViewDetachedFromWindow(View v) {
+                PopupMenuLifecycle.this.dismiss();
+            }
+        });
     }
 
     @Override