pepper icon indicating copy to clipboard operation
pepper copied to clipboard

repeat command should only repeat last valid command

Open MartinKl opened this issue 10 years ago • 0 comments

If the user first types in a "non-command" and afterwards the repeat command ("repeat", "r"), the non-command is repeated and not the last valid command. In consequence a typo in the repeat command would lead to having to retype the command supposed to be repeated.

MartinKl avatar Aug 05 '15 09:08 MartinKl