This tests for a bug where the color of pasted text couldn't be changed.'