Is there a way to check what a given command is called in the json settings notation. For example, if I open the command pallet I can see the natural language descriptions of commands e.g., "Python: Run Python File in Terminal" but this does not tell what that command would be called within the settings JSON, e.g., something like "python.runFile".
Is there a way to check what a given command is called in the json settings notation. For example, if I open the command pallet I can see the natural language descriptions of commands e.g., "Python: Run Python File in Terminal" but this does not tell what that command would be called within the settings JSON, e.g., something like "python.runFile".
How do I find out what the commands are called?