magik-vscode icon indicating copy to clipboard operation
magik-vscode copied to clipboard

Could "alt+m" be used to "compileExtensionMagik" instead of "refreshSymbols"?

Open JorgeMarta-GitHub opened this issue 3 years ago • 0 comments

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)

JorgeMarta-GitHub avatar Mar 09 '21 11:03 JorgeMarta-GitHub