Done creating a spinner widget (closes #448).