Comment 0 for bug 1482933

To reproduce this, create text containing "alice bob carol", select "bob", style it (e.g., with Ctrl-I), then type to overwrite it. One would expect that the new text that replaces it would keep the same formatting, but instead the formatting is lost.

Of course one can work around this when editing a part of the text whose formatting should be kept, by adding the new text at some point in the old text, then deleting the old text. However this isn't very intuitive.