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