/** @see OpenGLTab#dispose() */
 void dispose() {
   super.dispose();
   GL.glDeleteLists(cubeListIndexBase, 1);
 }