Arena auto-play options

Previous topic - Next topic

gorling

It would be a nice feature to add an auto-play options for Arena.

Simply two options would suffice
a) always ask (default)
b) never ask

This would speed up play in games where the VP-tokens on Arena are gone and there are no longer any benefits to discarding.