Hitting F12 causes the JavaScript console to open: should not use F12, should use Shift-F12 instead

[dyaandys]

By default, JSC is set to F12.

We should not be grabbing the unshifted function keystrokes other than F1. Morten too agrees that F12 should be left to the user.

IDE:
Version: 4.6.4240
Electron: 34.5.5
Chrome: 132.0.6834.210
Node: 20.19.1
Platform: win32-ia32
Date: 2025-07-25 14:57:43 +0000
Git commit: cd054fb
Preferences:{
"defaultConfig":"p9-72qa",
"kbdLocale":"en_GB",
"keys":"{"JSC":["Shift+F12"],"PF24":[]}",
"otherExe":"/opt/mdyalog/20.0/classic/p9/dyalog",
..

Interpreter:
Version: 20.0.52346
Platform: AIX-64
Edition: Classic/64
Date: Aug 27 2025 at 02:45:47