<div dir="ltr"><br><div class="gmail_extra"><br><br><div class="gmail_quote">On Mon, Dec 30, 2013 at 5:43 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">A preference to make "cut and pasting" of code easier? And this on<br>
top of the fact that we have a hot-key to remove all formatting<br>
(Cmd+0).<br></blockquote><div><br></div><div>Yeah. You got a problem with cut-and-paste?</div><div> </div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
On top of that, Shout makes it irrelevant doesn't it? It does not<br>
appear Shout can even be disabled anymore --<br>
#syntaxHighlightingAsYouType has no effect and no senders.</blockquote><div><br></div><div>Actually, I'd like to see the preference change to #ignoreStyleWhenPastingCode or something like that. With Shout, code is always styled, and it makes pasting it a pain.</div>
</div></div></div>