Issue #9: add a preference to set the color of the widget