<div dir="ltr"><div class="gmail_extra"><br><div class="gmail_quote">On Thu, Jun 18, 2015 at 10:25 AM, Allan Odgaard <span dir="ltr"><<a href="mailto:mailinglist@textmate.org" target="_blank">mailinglist@textmate.org</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div id=":88" class="a3s" style="overflow:hidden">The code to detect a “tap” was changed in beta 7.3 (to also watch for shift), but everything works as expected for me.<br>
<br>
Can you make a selection with the mouse and then do a quick tap of the option key. Is that a no-op (apart from briefly changing mouse cursor)?<br>
<br>
Are you using an Apple keyboard?</div></blockquote></div><br><br><div class="gmail_default" style="font-family:verdana,sans-serif;font-size:small;color:rgb(0,0,0)">​I am using a Logitech keyboard.  Does not matter if selection was created with mouse or keyboard.  Tapping option is a no-op.<br><br></div><div class="gmail_default" style="font-family:verdana,sans-serif;font-size:small;color:rgb(0,0,0)">I just tried it on the laptop keyboard (same Mac) and it works fine.  ​This has always worked with the Logitech keyboard in the past.<br><br></div><div class="gmail_default" style="font-family:verdana,sans-serif;font-size:small;color:rgb(0,0,0)">Curt<br><br></div></div></div>