
<!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 10 Oct 2018, at 14:09, Benny Kjær Nielsen wrote:</p>

<blockquote style="border-left:2px solid #777; color:#777; margin:0 0 5px; padding-left:5px"><p dir="auto">On 9 Oct 2018, at 16:06, Robert Brenstein 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">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:#999; margin:0 0 5px; padding-left:5px; border-left-color:#999"><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.</p>

<blockquote style="border-left:2px solid #777; color:#777; margin:0 0 5px; padding-left:5px"><blockquote style="border-left:2px solid #777; color:#999; margin:0 0 5px; padding-left:5px; border-left-color:#999"><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.</p>

<p dir="auto">Robert</p>

</div>

</div>

</body>

</html>