Playground: Ctrl-Enter does nothing

[yozlet]

This is on Windows 10 in both Firefox 68 and Chrome 75.

I fill the code pane (left side) with an example, and the interpreter pane shows the various unevaluated declarations, including ones with > Ctrl-Enter underneath. Hitting Ctrl-Enter does nothing, but clicking the >> icon at the top triggers the execution correctly.

[tasuki]

The >> icon executes all top level binds. Ctrl-Enter only executes the current line.

[yozlet]

@tasuki Thanks, now I see what the problem was: I didn't realise that I needed to have my cursor on the line being evaluated.

May I suggest: Hotkeys and UI elements should always do something, even if it's just showing an error.

[Ahnfelt]

@yozlet agreed.