Theming tools

[orsenkucher]

Do you know some tools to get token of UI element, like we have with Inspect Editor Tokens and Scopes, but for vscode itself?

[simurai]

Not sure if there is something built in? 🤔 You can inspect the DOM with the DevTools (Help > Toggle Developer Tools), but that doesn't really tell the "workbench tokens" and might only help in guessing the token names.

I usually just set tokens found in the reference to red and then see if I can spot something turning red in the workbench. 😆 🤷