ref: e1f3bd2bdd0f4ecbfa955eb4f73d2c54c8e93b84
parent: 1469b39f73c231250434b5487e619dbc5570d7f0
author: cancel <cancel@cancel.fm>
date: Sun Jan 26 22:14:19 EST 2020
Cleanup
--- a/tui_main.c
+++ b/tui_main.c
@@ -3950,13 +3950,11 @@
break;
default:
- if (key >= CHAR_MIN && key <= CHAR_MAX && is_valid_glyph((Glyph)key)) {
+ if (key >= CHAR_MIN && key <= CHAR_MAX && is_valid_glyph((Glyph)key))
ged_input_character(&t.ged, (char)key);
- }
#if 0
- else {
+ else
fprintf(stderr, "Unknown key number: %d\n", key);
- }
#endif
break;
}