Added by Brian Coltin about 15 years ago
Pretty single check box added for paused robots.
View differences