
<html><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space; ">Hi,<div>I'd like to join in with the expression of appreciation of the new feature of line numbers in TexShop, and of the application itself, which I have used with great pleasure for more than four years.</div><div><br></div><div>Let me add two things. The first is a report of a possible bug. When turning on 'Show Ruler' to change the line spacing in the source window, one effect was that line numbers and ruler could not be turned on or off independently for that window. The coupling of the two features disappeared after restarting TexShop.</div><div><br></div><div>The second is a feature request. It would sometimes be good to be able to display invisible characters, e.g. when a control character has sneaked in because of pasting from another application and causes an encoding error.</div><div><br></div><div>Anyway, thanks again for a great application.</div><div><br></div><div><div>Best,</div><div>Peter</div></div><div><br></div><div> </div><div><br><div apple-content-edited="true"> <span class="Apple-style-span" style="border-collapse: separate; color: rgb(0, 0, 0); font-family: Courier; font-size: 12px; font-style: normal; font-variant: normal; font-weight: normal; letter-spacing: normal; line-height: normal; orphans: 2; text-align: auto; text-indent: 0px; text-transform: none; white-space: normal; widows: 2; word-spacing: 0px; -webkit-border-horizontal-spacing: 0px; -webkit-border-vertical-spacing: 0px; -webkit-text-decorations-in-effect: none; -webkit-text-size-adjust: auto; -webkit-text-stroke-width: 0; "><span class="Apple-style-span" style="border-collapse: separate; color: rgb(0, 0, 0); font-family: Courier; font-size: 12px; font-style: normal; font-variant: normal; font-weight: normal; letter-spacing: normal; line-height: normal; orphans: 2; text-indent: 0px; text-transform: none; white-space: normal; widows: 2; word-spacing: 0px; -webkit-border-horizontal-spacing: 0px; -webkit-border-vertical-spacing: 0px; -webkit-text-decorations-in-effect: none; -webkit-text-size-adjust: auto; -webkit-text-stroke-width: 0px; "><div style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space; "><div><br class="Apple-interchange-newline">--------------------</div><div>Peter Pagin</div><div><div>Professor</div><div>Department of Philosophy, Stockholm University</div><div>106 91 Stockholm, Sweden</div><div>tel: +46-8-162813, fax: +46-8-152226</div><div>email: <a href="mailto:peter.pagin@philosophy.su.se">peter.pagin@philosophy.su.se</a></div><div><a href="http://people.su.se/~ppagin/pagineng.htm">http://people.su.se/~ppagin/pagineng.htm</a></div></div><div><br></div></div></span><br class="Apple-interchange-newline"></span><br class="Apple-interchange-newline"> </div><br></div></body></html>