Deleted the completely unused Relax_is_running GUI element.
Authored by: bugman 2011-07-18
Parent: [r13691]
Child: [r13693]