magik-vscode
magik-vscode copied to clipboard
Could "alt+m" be used to "compileExtensionMagik" instead of "refreshSymbols"?
We have this:
{
"command": "magik.refreshSymbols",
"key": "alt+t"
},
{
"command": "magik.refreshSymbols",
"key": "alt+m"
},
Could "alt+m" be used to "compileExtensionMagik" instead?
It would solve the error with vs_save_symbols
when pressing "alt+m" (after a session is closed and reopened again without restarting vscode)