fix saving of option=int slider add-on settings