Searched refs:style_refresh_timer (Results 1 – 1 of 1) sorted by relevance
121 gint style_refresh_timer; member1038 if(desktop->priv->style_refresh_timer != 0) in xfce_desktop_finalize()1039 g_source_remove(desktop->priv->style_refresh_timer); in xfce_desktop_finalize()1423 desktop->priv->style_refresh_timer = 0; in style_refresh_cb()1470 if(desktop->priv->style_refresh_timer != 0) in xfce_desktop_style_updated()1471 g_source_remove(desktop->priv->style_refresh_timer); in xfce_desktop_style_updated()1473 desktop->priv->style_refresh_timer = g_idle_add_full(G_PRIORITY_LOW, in xfce_desktop_style_updated()