Mattias Eriksson f6d696f7d6 Remove double key prevention ... After rewrite to use Named keys, the double key prevention code instead made Ctrl-Bakspace et al. to not work again. Now the prevention code is not needed any more, so this patch removes it.		2024-02-20 09:46:21 -07:00
..
config.rs	Support opacity	2024-02-12 12:36:30 -07:00
icon_cache.rs	Add support for profiles (#131)	2024-02-09 15:45:46 -07:00
key_bind.rs	Do not clone Key	2024-02-08 16:03:26 -07:00
localize.rs	Add config, translations, settings UI	2023-12-22 14:31:01 -07:00
main.rs	Prevent bound keys from reaching the terminal	2024-02-17 07:14:56 -07:00
menu.rs	Add support for profiles (#131)	2024-02-09 15:45:46 -07:00
mouse_reporter.rs	Clippy fixes	2024-02-05 09:09:23 -07:00
terminal.rs	Add support for profiles (#131)	2024-02-09 15:45:46 -07:00
terminal_box.rs	Remove double key prevention	2024-02-20 09:46:21 -07:00
terminal_theme.rs	Add selenized color scheme	2024-02-15 07:12:52 -07:00