<html xmlns="http://www.w3.org/1999/xhtml" lang="en" xml:lang="en"><head><!-- 2020-04-25 Sat 12:24 --><meta http-equiv="Content-Type" content="text/html;charset=utf-8"/><meta name="viewport" content="width=device-width, initial-scale=1"/><meta name="generator" content="Org mode"/></head><body>
<div style="font-family:"Arial";font-size:10pt;line-height:11pt;" id="content">
<p style="text-decoration:none;margin-bottom:0px;margin-top:10px;line-height:11pt;font-size:10pt;font-family:"Arial";max-width:100ch;">
Hi David,
</p>
<blockquote style="padding-left:5px;margin-left:10px;margin-top:20px;margin-bottom:0;border-left:3px solid #ccc;font-style:italic;background:#f9f9f9;">
<p style="text-decoration:none;margin-bottom:0px;margin-top:10px;line-height:11pt;font-size:10pt;font-family:"Arial";max-width:100ch;">
Keegan Carruthers-Smith posted a patch with a suggested change for this
in id:m2r1wrxin8.fsf@gmail.com. Could you try that and see if it
addresses your concerns?
</p>
<p style="text-decoration:none;margin-bottom:0px;margin-top:10px;line-height:11pt;font-size:10pt;font-family:"Arial";max-width:100ch;">
That patch is now in HEAD, but I presume not yet in a release.
</p>
</blockquote>
<p style="text-decoration:none;margin-bottom:0px;margin-top:10px;line-height:11pt;font-size:10pt;font-family:"Arial";max-width:100ch;">
Yes that patch fixes the issue in Helm. My mistake for searching the list archives for "helm" but not for "ivy"! I had suspected the issue might be similar for other completion frameworks and Keegan confirms this.
</p>
<p style="text-decoration:none;margin-bottom:0px;margin-top:10px;line-height:11pt;font-size:10pt;font-family:"Arial";max-width:100ch;">
Ori
</p>
</div>
</body></html>