Commented Issue: HTMLEditor paste error in IE9 [27082]

The three paste buttons in the HTMLEditor aren't working in Internet Explorer 9. They do nothing at all (and no script error either).
Comments: They work when IE9 is in the compatibility mode, though.