HTML widget not editable if empty. fixes #523