Ah thanks, that works!
I did try viz.getOption('viz.display.frequency',type=int) before, but that doesn't work as it simply reports the frequency you asked for (however ridiculous), not the current refresh rate... viz.getOption('viz.monitor.refresh_rate',type=int) does exactly what I hoped for.
|