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 | |
