I Changed the way to import the google prettify in the file widget.html