Searched refs:double_click_time (Results 1 – 1 of 1) sorted by relevance
2110 gint double_click_time = 250; in OnButtonPressEvent() local2113 "gtk-double-click-time", &double_click_time, in OnButtonPressEvent()2121 if (click_time > static_cast<guint32>(double_click_time) || in OnButtonPressEvent()