CLOSED - Question regarding editor.focus();

The docs mention:

Give the editor focus.

When I go to and open the webconsole and execute editor.focus(); the cursor does not blink in the editor. Is this the correct behaviour?

I’ve played with this a bit more and added a listener
editor.on("focus", function(){console.log("hi, focus..");});

When executing editor.focus(); the editor does not get focus. When the cursor is placed in the editor via mouse the listener is executed. I’ll report this as a bug on GitHub.