Some more options for the HTMLWidget class