allow setting the number of nonzero variants in the webgl frontend; allow resetting the active colour map in the webgl frontend