Fabian Homborg 8013686d17 delete-or-exit: Only exit if the commandline is empty ...

This exitted if the cursor was at the end of the line as well (i.e. if
delete-char failed). That's a bit too eager.

Also documentation, which should have already been included.

2019-07-03 11:48:38 +02:00

135 KiB

Raw Blame History

View Raw