[GTK] Use the DisplayRefreshMonitor facilities