<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">
<html>
<head>
<meta http-equiv="Content-Type" content="text/xhtml; charset=utf-8">
</head>
<body>
<div style="font-family:sans-serif"><div style="white-space:normal">
<p dir="auto">On 9 Nov 2016, at 20:29, Bill Cole wrote:</p>
<p dir="auto"></p></div>
<div style="white-space:normal"><blockquote style="border-left:2px solid #777; color:#777; margin:0 0 5px; padding-left:5px"><p dir="auto">On 9 Nov 2016, at 9:47, Benny Kjær Nielsen wrote:<br>
</p>
<blockquote style="border-left:2px solid #777; color:#999; margin:0 0 5px; padding-left:5px; border-left-color:#999"><p dir="auto">There's no history, but locally MailMate does know the previous (IMAP) location of an email.</p>
</blockquote><p dir="auto">That's surprising, since I couldn't find anyplace obvious in the message store that would store that information. Is it persistent?</p>
</blockquote></div>
<div style="white-space:normal">
<p dir="auto">It's stored in a virtual header named <code style="background-color:#F7F7F7; border-radius:3px; margin:0; padding:0 0.4em" bgcolor="#F7F7F7">#old-source</code> which has the same semantics as <code style="background-color:#F7F7F7; border-radius:3px; margin:0; padding:0 0.4em" bgcolor="#F7F7F7">#source</code>. There's also <code style="background-color:#F7F7F7; border-radius:3px; margin:0; padding:0 0.4em" bgcolor="#F7F7F7">#old-uid</code>. MailMate uses these headers to keep track of what needs to be synchronized with servers, e.g., when a message has obtained a <code style="background-color:#F7F7F7; border-radius:3px; margin:0; padding:0 0.4em" bgcolor="#F7F7F7">#uid</code> (after a move) at a new <code style="background-color:#F7F7F7; border-radius:3px; margin:0; padding:0 0.4em" bgcolor="#F7F7F7">#source</code> then it can be deleted at its old source (using the old UID). This is, of course, implementation details, but it would be possible to, e.g., create an “Old Source” column for the messages list. Note that this header contains the most recent <em>IMAP</em> location. Caveat: If multiple moves are done quickly (or offline) then the intermediate locations are quickly forgotten.</p>
<p dir="auto">-- <br>
Benny</p>
</div>
</div>
</body>
</html>