<div dir="ltr"><p style="margin-bottom:16px;color:rgb(51,51,51);font-family:'Helvetica Neue',Helvetica,'Segoe UI',Arial,freesans,sans-serif;font-size:14px;line-height:22.3999996185303px;margin-top:0px!important">For the record: The problem doesn't occur on OS X 10.10.</p><p style="margin-top:0px;color:rgb(51,51,51);font-family:'Helvetica Neue',Helvetica,'Segoe UI',Arial,freesans,sans-serif;font-size:14px;line-height:22.3999996185303px;margin-bottom:0px!important">I haven't done the "binary search through OS X releases" dance to find where the problem stops being a problem..</p>​</div>