Change win_height and win_width to integers.
Add ensure_playing decorator.
Small formatting changes.