Not sure about HTML editors, most design is done right in the browser using frameworks, templates, and drag-n-drop, so WYSIWYG isn't too common anymore. I think Dreamweaver still has it, but it's always best just to test in browser to avoid bugs that those introduce.