Somebody might find this workaround handy. I needed to edit some HTML text with a few basic commands (bold, underline etc) with the HTMLEditor in...