+ Fix HTMLEditor issue in IE when toggling between source and WYSIWYG modes (Fixes #588)