Update class.options_machine.php

Hy here is my Idea for a spinner