<div dir="ltr">When saving a method with bold font you will not get asked if you want to save/ preserve the font style.<div><br></div><div>When copy pasting you can get a method selectors in bold somewhere in the code. Most likely you will not want to keep that formatting.</div>
<div><br></div><div>Karl</div></div><div class="gmail_extra"><br><br><div class="gmail_quote">On Mon, Dec 30, 2013 at 10:13 PM, Chris Muller <span dir="ltr"><<a href="mailto:asqueaker@gmail.com" target="_blank">asqueaker@gmail.com</a>></span> wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">Do we even want to keep this preference? What is it for? The<br>
description tells us _what_ it does, not why it does it...<br>
<div class="HOEnZb"><div class="h5"><br>
On Sun, Dec 29, 2013 at 1:56 PM, Frank Shearar <<a href="mailto:frank.shearar@gmail.com">frank.shearar@gmail.com</a>> wrote:<br>
> I want to turn this into a pragma-based preference. I don't know on<br>
> which class to hang the preference though. On Text?<br>
><br>
> I'd be happy with adding Text >> #ignoreStyleIfOnlyBold because (a)<br>
> Text is the only sender and (b) Text is all about styling.<br>
><br>
> (The ulterior motive is that adding Text >> #ignoreStyleIfOnlyBold<br>
> breaks another strand in the Collections -> System dependency.)<br>
><br>
> frank<br>
><br>
<br>
</div></div></blockquote></div><br></div>