diff options
Diffstat (limited to 'src/gui_gtk_x11.c')
| -rw-r--r-- | src/gui_gtk_x11.c | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/gui_gtk_x11.c b/src/gui_gtk_x11.c index 68c0f3e63..88559e534 100644 --- a/src/gui_gtk_x11.c +++ b/src/gui_gtk_x11.c @@ -6875,6 +6875,8 @@ mch_set_mouse_shape(int shape) } else if (shape < sizeof(mshape_ids) / sizeof(int)) id = mshape_ids[shape]; + else + return; # ifdef HAVE_GTK_MULTIHEAD c = gdk_cursor_new_for_display( gtk_widget_get_display(gui.drawarea), (GdkCursorType)id); |