ButtonWidget: clean up and reduce lines of code

In particular, the WidgetModel.getWidgetLabel() method is useful for
getting a guaranteed human-readable label for use with a UI widget.