A preview of the redesigned and streamlined options dialog for the next release of Web Developer.

Web Developer options dialog