<html><head><meta http-equiv="content-type" content="text/html; charset=utf-8"></head><body dir="auto"><div>Hi Eliot --</div><div id="AppleMailSignature"><br></div><div id="AppleMailSignature">I'm in favor of introducing a preference, mainly for consistency reasons (same font setting for all development/base tools)...</div><div id="AppleMailSignature"><br></div><div id="AppleMailSignature">Best,</div><div id="AppleMailSignature">Robert<br><br>---<div><a href="http://www.hirschfeld.org">www.hirschfeld.org</a></div></div><div><br>On 3. Jun 2017, at 09:01, Eliot Miranda <<a href="mailto:eliot.miranda@gmail.com">eliot.miranda@gmail.com</a>> wrote:<br><br></div><blockquote type="cite"><div><div dir="ltr">Hi All,<div><br></div><div> see SystemReporter>>#updateReport<div><span class="gmail-Apple-tab-span" style="white-space:pre"> </span>report := Text streamContents: [:stream | </div><div><span class="gmail-Apple-tab-span" style="white-space:pre"> </span>stream </div><div><span class="gmail-Apple-tab-span" style="white-space:pre"> </span>withAttribute: (TextFontReference toFont: Preferences standardFixedFont)</div><div><span class="gmail-Apple-tab-span" style="white-space:pre"> </span>do: [</div><div><span class="gmail-Apple-tab-span" style="white-space:pre"> </span>self categoryList do: [:each |</div><div><span class="gmail-Apple-tab-span" style="white-space:pre"> </span>(categoriesSelected includes: each) ifTrue: [</div><div><span class="gmail-Apple-tab-span" style="white-space:pre"> </span>self perform: ((categories at: each), ':') asSymbol with: stream.</div><div><span class="gmail-Apple-tab-span" style="white-space:pre"> </span>stream cr]]]].</div><div><span class="gmail-Apple-tab-span" style="white-space:pre"> </span>self changed: #reportText</div><div><br></div><div>this means that on first opening the System Report there is a proportional font and on selecting any tab the report becomes fixed pitch. It should be one or the other and not switch between the two. Personally I prefer it remaining proportional. Would people object if I disabled the switch to a fixed pitch font? Or Does anyone feel strongly that the report should be in a fixed pitch font or that it should be a preference?</div><div><br></div><div>_,,,^..^,,,_</div><div class="gmail_signature"><div dir="ltr"><div><span style="font-size:small;border-collapse:separate"><div>best, Eliot</div></span></div></div></div>
</div></div>
</div></blockquote><blockquote type="cite"><div><span></span><br></div></blockquote></body></html>