Viewer3D<>::updateDisplay;
(as in other examples)