dded feature #10520: htmlARea RTE: Configuration option to override RTE width