<div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex;"><br>
great! thanks a lot for these. do you think it is stable enough that we can cherry-pick it to master?<br><font color="#888888">
<br></font></blockquote><div><br></div><div>I think so. I'd take that batch and the ctrl+t stuff as that's really handy and a bit related. The one thing that was causing stability issues was that before I fixed the cursor jump at removing blocks of text deleting could crash, but with my fix there this should always be stable.</div>
<div><br></div><div>I would recommend merging them in as it's quite a improvement for day to day editing. I would also like to point out that doing stuff like this makes you appreciate all of the little features that editors have that you never consider consciously :¬)</div>
<div><br></div><div>Yours,</div><div>Kas.</div></div>