/* Sample widget code for displaying current web page URL in a colored box */