// The following commands should induce OpenGL to create round points and
// antialias points and lines. (This is implementation dependent unfortunately, and
// may slow down rendering considerably.)
// You may comment these out if you wish.