which is commonly the case with Gmail Dashboard widgets.