HTML editor panel properties not minimized

In panel properties 'HTML Before' and 'HTML after', the HTML editor is no longer minimized and there's no space to type in, unless it's minimized. Consider replacing it with a regular text area.