slider.patch
src/gtkui/ui_gtk.c | ||
---|---|---|
309 | 309 |
static gboolean ui_slider_button_press_cb(GtkWidget * widget, GdkEventButton * event, gpointer user_data) |
310 | 310 |
{ |
311 | 311 |
slider_is_moving = TRUE; |
312 | ||
313 |
#if !GTK_CHECK_VERSION (3, 5, 0) |
|
314 |
/* HACK: clicking with the left mouse button moves the slider |
|
315 |
to the location of the click. */ |
|
316 |
if (event->button == 1) |
|
317 |
event->button = 2; |
|
318 |
#endif |
|
319 | ||
312 | 320 |
return FALSE; |
313 | 321 |
} |
314 | 322 | |
315 | 323 |
static gboolean ui_slider_button_release_cb(GtkWidget * widget, GdkEventButton * event, gpointer user_data) |
316 | 324 |
{ |
325 |
#if !GTK_CHECK_VERSION (3, 5, 0) |
|
326 |
/* HACK: see ui_slider_button_press_cb */ |
|
327 |
if (event->button == 1) |
|
328 |
event->button = 2; |
|
329 |
#endif |
|
330 | ||
317 | 331 |
slider_is_moving = FALSE; |
318 | 332 |
return FALSE; |
319 | 333 |
} |