Searched refs:config_desktop_popup_time (Results 1 – 3 of 3) sorted by relevance
176 extern guint config_desktop_popup_time;
66 guint config_desktop_popup_time; variable814 config_desktop_popup_time = obt_xml_node_int(n); in parse_desktops()1114 config_desktop_popup_time = 875; in config_startup()
951 if (!config_desktop_popup_time) return; in screen_show_desktop_popup()969 desktop_popup_timer = g_timeout_add(config_desktop_popup_time, in screen_show_desktop_popup()