<div class="markdown">
<!DOCTYPE html>
<html>
<head>
<meta charset="utf-8">
<meta name="generator" content="pandoc">
<meta name="viewport" content="width=device-width, initial-scale=1.0, user-scalable=yes">
<title></title>
<style type="text/css">code{white-space: pre;}</style>
<!--[if lt IE 9]>
<script src="http://html5shim.googlecode.com/svn/trunk/html5.js"></script>
<![endif]-->
<style type="text/css"> body { font-family: helvetica,arial,freesans,clean,sans-serif;-webkit-font-smoothing:antialiased; color: black; font-size: 9pt; line-height: 1.1; background-color: white; background-image:url('**NotebooksBGImage**'); padding: 1%; -webkit-hyphens: auto; margin: 0.0px 0.0px 0.0px 0.0px; -webkit-text-size-adjust: none; } p.head { font-size: 1.4em; line-height: 1.5em; text-align: left; font-weight: normal; margin: 0em 0px 1.25em 0px; } img { width:auto; max-width:70%; height:auto; -webkit-border-radius: 1px; border: none; padding: 12px !important; background-color: #fff; text-align: center; overflow: hidden; -webkit-box-shadow: 0 1px 3px #9e9c93; } table { border: 1px solid gray; -webkit-border-radius: 3px; padding: 6px !important; -webkit-box-shadow: 0 1px 3px #9e9c93; xmargin-left: auto; margin-right: auto; } table th { padding-left: 30px; padding-right: 30px; vertical-align:top; } table td { padding-left: 30px; padding-right: 30px; vertical-align:top; } hr { height: 1px; margin: 2em 0em 4em 0; text-align: center; background-color: #ddd; border-width: 0; } h1 { font-size: 1.4em; text-align: left; font-weight: normal; line-height: 1.5em; margin: 0em 0px 1.25em 0px; } h2 { font-size: 1.1em; text-align: left; font-weight: normal; line-height: 1.5em; letter-spacing: .1em; margin: 2.5em 0 1em 0; text-transform: uppercase; border-bottom:1px solid #ddd; } h1 + h2 { margin-top: 1.5em; } h3 { font-size: .91em; text-align: left; font-weight: normal; line-height: 1.5em; letter-spacing: .1em; margin: 2.0em 0 1em 0; text-transform: uppercase; } h2 + h3 { margin-top: 2.5em; } h4, h5, h6 { font-size: 1em; text-align: left; font-weight: bold; line-height: 1.5em; margin: 2em 0 0 0; } blockquote { font-size: 1em; margin: 2em 2em 2em 0.5em; padding: 0 .75em 0 1.25em; border-left: 5px solid #AAA; } blockquote blockquote { border-left: 5px solid #AAF; } blockquote blockquote blockquote { border-left: 4px solid #ADF; } blockquote blockquote blockquote blockquote { border-left: 4px solid #AEE; } blockquote blockquote blockquote blockquote blockquote { border-left: 3px solid #AAA; } blockquote blockquote blockquote blockquote blockquote blockquote { border-left: 3px solid #AAF; } blockquote blockquote blockquote blockquote blockquote blockquote blockquote { border-left: 2px solid #ADF; } blockquote blockquote blockquote blockquote blockquote blockquote blockquote blockquote { border-left: 2px solid #AEE; } blockquote blockquote blockquote blockquote blockquote blockquote blockquote blockquote blockquote { border-left: 1px solid #AAA; } blockquote table { /* Reset table defaults in quoted html */ border: 0px solid gray; -webkit-border-radius: 0px; padding: 0px !important; -webkit-box-shadow: 0 0px 0px #9e9c93; xmargin-left: auto; margin-right: auto; } blockquote strong { font-weight: bold; font-size: 1em; letter-spacing: normal; text-transform: none; } ul, ol { padding-left: 1.25em; margin-left: 1em; text-indent:0em; } li { padding-top: 0.25em; padding-bottom: 0.25em; } pre { line-height: 1.45em; background-color: inherit; margin: 2em 0 2.5em 0; padding: 5px 0 5px 10px; border-width: 1px 0 1px 0; border-color: #6b6b6b; border-style: dashed; width: auto; white-space: pre-wrap; } code { font-size: 0.91em; } dt { font-size: 1em; text-align: left; font-weight: bold; margin-top: 0.5em; letter-spacing: normal; text-transform: none; } dd { margin: auto auto 0 2.25em; } @media print { body { background: white; padding: 0%; } h1 { page-break-before: always; } h1:first-of-type { page-break-before: avoid; counter-reset: page; } h1, h2, h3, h4, h5, h6 { page-break-after:avoid; page-break-inside:avoid } blockquote, table, pre { page-break-inside:avoid } ul, ol, dl { page-break-before:avoid } img { page-break-inside:avoid; page-break-after:avoid; } } /* */ p.mm { font-size: 10pt; font-face: helvetica,arial,freesans,clean,sans-serif;-webkit-font-smoothing:antialiased;} div.original { xall: reset !important; } div.highlight > code, pre.sundowner { margin-left: 15px; margin-right: 15px; padding: 5px; background-color: #fdf6e3; border: thin solid gray; overflow: auto; margin-bottom: 15px; display: inline-block; font-family: "Menlo", "Courier New", "Courier", "Monospaced"; font-size: 10pt; } table.sundowner { line-spacing: 120%; font-family: "Menlo", "Courier New", "Courier", "Monospaced"; font-size: 10pt; } div.markdown > p { /* Override stupid Microsoft CSS */ margin-bottom: 1em; } xdiv.markdown > * { font-family: Helvetica, Arial, sans-serif; font-size: 10pt; } xh1 { font-size: 160% !important; } xh2 { font-size: 145% !important; } xh3 { font-size: 125% !important; } xh4 { font-size: 115% !important; } xh5 { font-size: 105% !important; } xblockquote { margin-bottom: 0px !important; } * { xwhite-space: pre; } /* */</style>
</head>
<body>
<p dir="auto" class="mm">On 15 Oct 2015, at 13:17, Kee Hinckley wrote:</p>
<blockquote>
<p dir="auto" class="mm">I just had a disk go bad and had to restore from my Time Machine backup, which means that MailMate spotted a mismatch between its database and file information. Which is exactly what I would expect for a backup from an active machine.</p>
<p dir="auto" class="mm">It offers two options. Restore from IMAP, and Restore from Disk. Perhaps I’m misunderstanding how the restore works, but I assumed that Restore from IMAP was the only correct solution. However, that works by tossing all the files in the trash and then downloading (11G) of mail from my servers.</p>
<p dir="auto" class="mm">What I’d like is a restore option that looks at what’s on disk and syncs it up with what’s on IMAP, removing/adding as necessary. Would restoring from disk have done that? Or would that be a new option?</p>
</blockquote>
<p dir="auto" class="mm">I don’t think I ever replied to this. But yes, that was what I actually wanted, I was just afraid it would not see stuff on the server, although in retrospect that should have been obvious. “Restore from Disk and then Update from IMAP”?</p>
<p dir="auto" class="mm">What happens if it was on the disk but had been removed from IMAP, would it get deleted? (I guess that’s the right thing.)</p>
</body>
</html>
</div>