fix bug #9742 (zoom combobox has no immediate effect on OS X)