<!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">Now that I know about it, I have been using the option-click at minus a few times a day so yes it comes handy :-)</p>
<p dir="auto">On 10 Oct 2018, at 17:52, Robert Brenstein wrote:</p>
<blockquote style="border-left:2px solid #777; color:#777; margin:0 0 5px; padding-left:5px"><p dir="auto">On 10 Oct 2018, at 14:09, 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">On 9 Oct 2018, at 16:06, Robert Brenstein wrote:<br>
</p>
<blockquote style="border-left:2px solid #777; color:#BBB; margin:0 0 5px; padding-left:5px; border-left-color:#BBB"><p dir="auto">Hmm, it seems the MM (at least version 1.12 (5523)) already behaves that way. If I select something in the search results and dismiss the search, the selection stays. If I select nothing in the search results, the selection from before search is restored. Nice!</p>
</blockquote><blockquote style="border-left:2px solid #777; color:#BBB; margin:0 0 5px; padding-left:5px; border-left-color:#BBB"><p dir="auto">Option-click on the minus seems to be removing any selection.</p>
</blockquote><p dir="auto">Hmm, that's not intentional. I'll note it as a bug.</p>
</blockquote><p dir="auto">Well, I would just document it. It might come handy at times.<br>
</p>
<blockquote style="border-left:2px solid #777; color:#999; margin:0 0 5px; padding-left:5px; border-left-color:#999"><blockquote style="border-left:2px solid #777; color:#BBB; margin:0 0 5px; padding-left:5px; border-left-color:#BBB"><p dir="auto">What is missing only is shift-click on minus to restore old selection even if something was selected in the search results.</p>
</blockquote><p dir="auto">So that's a feature request I assume :) I'll make another note.</p>
</blockquote><p dir="auto">Yes, it will complement the other actions.<br>
<br>
Robert_______________________________________________<br>
mailmate mailing list<br>
mailmate@lists.freron.com<br>
<a href="https://lists.freron.com/listinfo/mailmate" style="color:#777">https://lists.freron.com/listinfo/mailmate</a></p>
</blockquote></div>
</div>
</body>
</html>