<html><head><meta http-equiv="Content-Type" content="text/html charset=utf-8"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;" class=""><br class=""><div><blockquote type="cite" class=""><div class="">On 10 May 2018, at 23:21, Murray Eisenberg <<a href="mailto:murrayeisenberg@gmail.com" class="">murrayeisenberg@gmail.com</a>> wrote:</div><br class="Apple-interchange-newline"><div class=""><div class="" style="font-family: LucidaGrande; font-size: 12px; font-style: normal; font-variant-caps: normal; font-weight: normal; letter-spacing: normal; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; word-spacing: 0px; -webkit-text-stroke-width: 0px;">Should MacTeX itself not have this fix incorporated??</div></div></blockquote><br class=""></div><div>No, thanks.</div><div class=""><br class=""></div>I use BBEdit+Terminal+Skim+Sneep’s scripts to process my .tex files so my <div class=""><br class=""></div><div class=""><div style="margin: 0px; line-height: normal; font-family: Monaco; color: rgb(244, 244, 244); background-color: rgb(63, 63, 63);" class=""><span style="font-variant-ligatures: no-common-ligatures" class="">kMDItemContentType             = "com.barebones.bbedit.tex-source"</span></div></div><div class=""><br class=""></div><div class="">and I want it to stay that way.</div><div class=""><br class=""></div><div class="">I use TeXShop and Texpad from time to time but I want double-clicking to open BBEdit.</div><div class=""><br class=""></div><div class="">May I take this opportunity to thank all the MacTeX gang for their gargantuan labours? Much appreciated.</div><div class=""><br class=""><div class="">
<div class=""><span style="font-size: 13px;" class="">-- </span></div><div class=""><span style="font-size: 13px;" class="">John Rawnsley | Professor Emeritus  | Mathematics Institute</span></div><div class=""><span style="font-size: 13px;" class="">Zeeman Building | University of Warwick | Coventry  | CV4 7AL, UK</span></div><div class=""><br class=""></div><br class="Apple-interchange-newline">

</div>
<br class=""></div></body></html>