Johannes Altmanninger a8b3922a74 Work around to prevent premature Ctrl-D from inserting spaces
Pressing Ctrl-D while a command is running results in a null key code in
our input queue. That key code is bound to insert a space (without expanding
abbreviations). Make it only insert a space if the commandline is non-empty,
to accommodate this use case.

This probably affects other keys as well.

Closes #8871
2022-05-11 22:06:25 +02:00
..
2019-05-05 12:09:25 +02:00
2019-05-05 12:09:25 +02:00
2019-05-05 12:09:25 +02:00
2019-05-05 12:09:25 +02:00
2020-11-22 14:39:48 +01:00
2020-04-21 21:11:26 +02:00
2021-11-11 16:46:23 +01:00
2022-01-27 16:21:22 -08:00
2022-01-27 16:21:22 -08:00
2022-01-27 16:21:22 -08:00
2022-01-27 16:21:22 -08:00
2022-03-24 20:11:39 +01:00
2021-12-02 02:22:40 -08:00
2021-09-24 18:25:27 +02:00
2021-05-14 21:49:53 +02:00
2022-01-27 16:21:22 -08:00
2022-04-23 16:35:52 -07:00