quickfix for editor: integer spinner
completed substitution of FIB widget. fully functional, but beware: bugs remaining, e.g. validators only working on a single editor of a parameter