Restore mini button (fixes #8644)