|
|
GdkEventButton *event, | GdkEventButton *event, |
BCG *gc) | BCG *gc) |
{ | { |
|
int display_double_click_distance; |
static GdkDisplay *display=NULL; | static GdkDisplay *display=NULL; |
|
if ( display == NULL) display=gdk_display_get_default(); |
| |
/* to compile with gdk<2.4 */ | /* to compile with gdk<2.4 */ |
#if GTK_MAJOR_VERSION==2 && GTK_MINOR_VERSION>=4 | #if GTK_MAJOR_VERSION==2 && GTK_MINOR_VERSION>=4 |
int display_double_click_distance = display->double_click_distance; |
display_double_click_distance = display->double_click_distance; |
#else | #else |
int display_double_click_distance=5; |
display_double_click_distance=5; |
#endif | #endif |
| |
if ( display == NULL) display=gdk_display_get_default(); |
|
if ((event->time < (last_press.time + 2*display->double_click_time)) && | if ((event->time < (last_press.time + 2*display->double_click_time)) && |
(event->window == last_press.window) && | (event->window == last_press.window) && |
(event->button == last_press.button) && | (event->button == last_press.button) && |