Update class.options_machine.php

Idea for a spinner