added back the spinner to grid_filter.IntegerFilterBox, set up the adjustment properly, and then also used the 'value-changed' signal as directed in the documentation, rather than the 'input' signal, which is documented to be not usable from Python