command line: can now set refresh rate, opengl display driver honors it (gdi driver not yet)