Added the "bold", "italic", "strikethrough" and "underline" actions to the HTML editor