Closed this issue 10 years ago · 0 comments
Button in manager to stop user input. We need it to set a deadline