Make small size changes in widget.py to work okay on both Windows and Mac