I had to redefine some keys i.e.
{ "keys": "f12"], "command": "show_panel", "args": {"panel": "console"} }
The menu “View/Show Console” still shows Ctrl+Backquote - which ist not possible on my keyboard
I had to redefine some keys i.e.
{ "keys": "f12"], "command": "show_panel", "args": {"panel": "console"} }
The menu “View/Show Console” still shows Ctrl+Backquote - which ist not possible on my keyboard