Prevent double-encoding of HTML entities in the widget's button text value