a widget to improve guard behaviour in Spring RTS