[DEVELOPMENT ENVIRONMENT]
* NEW: Text editor: Disable the popup menu in the HTML preview.
* BUG: Text editor: Correctly refresh the preview highlight when the preview is resized.