If the developers just deletes the checkbox items and replaces it with a menu option 'Play' than changes to 'Pause' when clicked. It could be a fast patch... and even more intuitive than a checkbox.
If the developers just deletes the checkbox items and replaces it with a menu option 'Play' than changes to 'Pause' when clicked. It could be a fast patch... and even more intuitive than a checkbox.