From 20b9989b791ea0fc9003fb171843f14c0f3ca8e6 Mon Sep 17 00:00:00 2001 From: Junkui Zhang <364772080@qq.com> Date: Thu, 19 Jun 2025 11:34:22 +0800 Subject: [PATCH] remove unused --- crates/gpui/src/platform/linux/keyboard.rs | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/crates/gpui/src/platform/linux/keyboard.rs b/crates/gpui/src/platform/linux/keyboard.rs index 8b729bfaa9d3b8a78786f83c7fdeec2206898186..695429b099e888c6017e1130ca6aa589246ca4f8 100644 --- a/crates/gpui/src/platform/linux/keyboard.rs +++ b/crates/gpui/src/platform/linux/keyboard.rs @@ -86,16 +86,15 @@ impl LinuxKeyboardMapper { if !key.is_empty() { if key_is_a_letter(&key) { letters.insert(keycode, key.clone()); + inserted_letters.insert(key); } else { code_to_key.insert(keycode, key.clone()); } - inserted_letters.insert(key); } else { // keycode might be a dead key let keysym = xkb_state.key_get_one_sym(keycode); if let Some(key) = underlying_dead_key(keysym) { code_to_key.insert(keycode, key.clone()); - inserted_letters.insert(key); } }