Some keys stop working in script editor?

I find that certain keys (e.g. cursor arrow keys) will occasionally stop working in the script editor.

Restarting Knime usually fixes this. Is this a bug?

Is there a better method to get the editor bacck to normal other than Knime restart?

Cheers,

Steve.

Hi Steve,

Can you reproduce this problem predictably? That would help me investigate in more detail and verify whether this is a bug. Additional useful information would be KNIME version, and your OS version.

Thanks,

Jon

Unfortunately it seems to be an intermittent problem; I'm uncertain as to what if anything in particular is causing it.

BTW, this is on Windows 10, 64-bit Knime 1.12.1.

I haven't noticed it on Linux, but then I don't use Knime on Linux all that frequently.

Cheers,

Steve.