Searched refs:launcher_plugin_arrow_drag_leave_timeout (Results 1 – 1 of 1) sorted by relevance
2343 launcher_plugin_arrow_drag_leave_timeout (gpointer user_data) in launcher_plugin_arrow_drag_leave_timeout() function2402 gdk_threads_add_timeout (MENU_POPUP_DELAY, launcher_plugin_arrow_drag_leave_timeout, plugin); in launcher_plugin_arrow_drag_leave()