fix javascript failure in widget/editor customization code