diff options
| -rw-r--r-- | src/gui_gtk_x11.c | 8 | ||||
| -rw-r--r-- | src/version.c | 2 |
2 files changed, 6 insertions, 4 deletions
diff --git a/src/gui_gtk_x11.c b/src/gui_gtk_x11.c index dd0179ee05..98ab3d49b6 100644 --- a/src/gui_gtk_x11.c +++ b/src/gui_gtk_x11.c @@ -2105,25 +2105,25 @@ scroll_event(GtkWidget *widget, #if GTK_CHECK_VERSION(3,4,0) if (event->direction == GDK_SCROLL_SMOOTH) { - while (acc_x > 1.0) + while (acc_x >= 1.0) { // right acc_x = MAX(0.0, acc_x - 1.0); gui_send_mouse_event(MOUSE_6, (int)event->x, (int)event->y, FALSE, vim_modifiers); } - while (acc_x < -1.0) + while (acc_x <= -1.0) { // left acc_x = MIN(0.0, acc_x + 1.0); gui_send_mouse_event(MOUSE_7, (int)event->x, (int)event->y, FALSE, vim_modifiers); } - while (acc_y > 1.0) + while (acc_y >= 1.0) { // down acc_y = MAX(0.0, acc_y - 1.0); gui_send_mouse_event(MOUSE_5, (int)event->x, (int)event->y, FALSE, vim_modifiers); } - while (acc_y < -1.0) + while (acc_y <= -1.0) { // up acc_y = MIN(0.0, acc_y + 1.0); gui_send_mouse_event(MOUSE_4, (int)event->x, (int)event->y, diff --git a/src/version.c b/src/version.c index 36f9dc07ea..408dd37b93 100644 --- a/src/version.c +++ b/src/version.c @@ -705,6 +705,8 @@ static char *(features[]) = static int included_patches[] = { /* Add new patch number below this line */ /**/ + 81, +/**/ 80, /**/ 79, |