Ctrl+enter ignored (behaves as plain enter)

Keno / REPL.jl

Pure-julia REPL implementation

Other

3 stars 4 forks source link

Closed carlobaldassi closed 10 years ago

carlobaldassi commented 10 years ago

as per the subject; this prevents e.g. editing multi-line commands by inserting a new line.

StefanKarpinski commented 10 years ago

It took me a moment to figure out that this was a feature request, not a bug report.

carlobaldassi commented 10 years ago

Ops, no, it is a bug report, but it maybe got fixed in the last few hours? I just updated and the problem is gone. Closing.