How do you change the refresh rate in gnome 3 so it saves across sessions? I can't get xrandr to save after reboot, so don't bother giving me a xrandr solution unless it sticks across reboots. good god why does such an important option have to be so cryptic these days.