Pin msgid

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

@@ -89,6 +89,7 @@ public class ActivityMain extends ActivityBase implements FragmentManager.OnBack
                     thread.putExtra("thread", message.thread);
                     thread.putExtra("filter_archive", true);
                     thread.putExtra("pinned", true);
+                    thread.putExtra("msgid", message.msgid);
 
                     startActivity(thread);
                 }

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

@@ -1459,6 +1459,7 @@ public class ActivityView extends ActivityBilling implements FragmentManager.OnB
         args.putBoolean("filter_archive", intent.getBooleanExtra("filter_archive", true));
         args.putBoolean("found", found);
         args.putBoolean("pinned", intent.getBooleanExtra("pinned", false));
+        args.putString("msgid", intent.getStringExtra("msgid"));
 
         FragmentMessages fragment = new FragmentMessages();
         fragment.setArguments(args);

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

@@ -278,6 +278,7 @@ public class FragmentMessages extends FragmentBase implements SharedPreferences.
     private boolean filter_archive;
     private boolean found;
     private boolean pinned;
+    private String msgid;
     private BoundaryCallbackMessages.SearchCriteria criteria = null;
     private boolean pane;
 
@@ -390,6 +391,7 @@ public class FragmentMessages extends FragmentBase implements SharedPreferences.
         filter_archive = args.getBoolean("filter_archive", true);
         found = args.getBoolean("found", false);
         pinned = args.getBoolean("pinned", false);
+        msgid = args.getString("msgid");
         criteria = (BoundaryCallbackMessages.SearchCriteria) args.getSerializable("criteria");
         pane = args.getBoolean("pane", false);
         primary = args.getLong("primary", -1);
@@ -4910,7 +4912,8 @@ public class FragmentMessages extends FragmentBase implements SharedPreferences.
                     }
                 }
 
-                if (pinned && message.id.equals(id))
+                if (pinned &&
+                        (message.id.equals(id) || Objects.equals(message.msgid, msgid)))
                     pin = message;
 
                 if (message.folder == folder &&

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

@@ -233,6 +233,7 @@ class Shortcuts {
         thread.putExtra("thread", message.thread);
         thread.putExtra("filter_archive", true);
         thread.putExtra("pinned", true);
+        thread.putExtra("msgid", message.msgid);
 
         Bitmap bm;
         if (contactInfo[0].hasPhoto())