PV value in the spinner text editor gets updated right after it's
changed with the up/down page up/page down buttons.