[PULL 04/10] ui/gtk: Update the refresh rate for gl-area too