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