PASTE possible while a RichtextSelection is active, which replaces the selection. (issue #17)