Added a method OpenGLContext::setContinuousRepainting, and changed the behaviour so that by default, continuous rendering is OFF. This seems much more likely to be what people need in most cases, but if you need the old behaviour, just call setContinuousRepainting (true).