diff options
author | regomne <fallingsunz@gmail.com> | 2022-09-26 20:48:32 +0100 |
---|---|---|
committer | Bram Moolenaar <Bram@vim.org> | 2022-09-26 20:48:32 +0100 |
commit | 3bdef10dc1c836e5e5a6fdcc1c21155cbd80d798 (patch) | |
tree | 4d6024d828f95196c03015c809673440c0c0a123 /src | |
parent | 7381c0ce3f3e79ec5a74b9be8fc34e0c8181463b (diff) |
patch 9.0.0597: cannot close a tab page with the middle mouse buttonv9.0.0597
Problem: Cannot close a tab page with the middle mouse button.
Solution: Support closing a tab page with the middle mouse button, like many
other programs. (closes #10746)
Diffstat (limited to 'src')
-rw-r--r-- | src/gui_gtk_x11.c | 6 | ||||
-rw-r--r-- | src/gui_w32.c | 14 | ||||
-rw-r--r-- | src/version.c | 2 |
3 files changed, 22 insertions, 0 deletions
diff --git a/src/gui_gtk_x11.c b/src/gui_gtk_x11.c index 3cdf22260a..945cb09ca9 100644 --- a/src/gui_gtk_x11.c +++ b/src/gui_gtk_x11.c @@ -3345,6 +3345,12 @@ on_tabline_menu(GtkWidget *widget, GdkEvent *event) send_tabline_event(x < 50 ? -1 : 0); } } + else if (bevent->button == 2) + { + if (clicked_page != 0) + // Middle mouse click on tabpage label closes that tab. + send_tabline_menu_event(clicked_page, TABLINE_MENU_CLOSE); + } } // We didn't handle the event. diff --git a/src/gui_w32.c b/src/gui_w32.c index 203b8fa548..3ade63113b 100644 --- a/src/gui_w32.c +++ b/src/gui_w32.c @@ -8094,6 +8094,20 @@ tabline_wndproc( } break; } + case WM_MBUTTONUP: + { + TCHITTESTINFO htinfo; + + htinfo.pt.x = GET_X_LPARAM(lParam); + htinfo.pt.y = GET_Y_LPARAM(lParam); + idx0 = TabCtrl_HitTest(hwnd, &htinfo); + if (idx0 != -1) + { + idx0 += 1; + send_tabline_menu_event(idx0, TABLINE_MENU_CLOSE); + } + break; + } default: break; } diff --git a/src/version.c b/src/version.c index 3111b4f922..d6535b3928 100644 --- a/src/version.c +++ b/src/version.c @@ -700,6 +700,8 @@ static char *(features[]) = static int included_patches[] = { /* Add new patch number below this line */ /**/ + 597, +/**/ 596, /**/ 595, |