[julia-users] Re: keyboard shortcuts for REPL

[Laszlo Hars]

Btw. not all Ctrl-keys work. E.g. ^K is the Windows console "Mark" command 
(English versions), and it has precedence over the REPL "Kill" command. 
Maybe the REPL finally has to part from the Windows console class?