From 0db173fa2336d72739216aa2e92ef61545f24d1c Mon Sep 17 00:00:00 2001 From: Po Lu Date: Fri, 2 Jan 2026 10:02:47 +0800 Subject: [PATCH] ; * src/keyboard.c (is_ignored_event): Delete redundant assignment. --- src/keyboard.c | 1 - 1 file changed, 1 deletion(-) diff --git a/src/keyboard.c b/src/keyboard.c index 41097b25256..55716c23738 100644 --- a/src/keyboard.c +++ b/src/keyboard.c @@ -13342,7 +13342,6 @@ is_ignored_event (union buffered_input_event *event) ignore_event = Qtoolkit_theme_changed; break; default: - ignore_event = Qnil; break; }