Re #8911. Button editor for local parameters.