Bug Fixes in Development Tools
Improve the integration of partially formatted text in the editor, make it do "the right thing".
* Now the code explicitly tries to select the portion of the formatted text in a way
that the result resembles the formatted text as closely as possible given the fixed context.
* The code works with inserted/removed newlines now