Unnamed repository; edit this file 'description' to name the repository.
1
2
3
4
5
6
7
8
9
{
  // See http://go.microsoft.com/fwlink/?LinkId=827846 to learn about workspace recommendations.
  // Extension identifier format: ${publisher}.${name}. Example: vscode.csharp

  // List of extensions which should be recommended for users of this workspace.
  "recommendations": ["vadimcn.vscode-lldb"],
  // List of extensions recommended by VS Code that should not be recommended for users of this workspace.
  "unwantedRecommendations": []
}
[email protected]'; const t = Object.freeze((await fetch("/icons/theme.json")).json()); const highlighter = await createHighlighter({ themes: [], langs: ["scm"] }); await highlighter.loadTheme(t); const o = document.getElementById('code-block'); const i = document.getElementById('contents'); o.innerHTML = (await highlighter.codeToHtml(i.innerText, { lang: "scm", theme: 'ayu-mirage' })).replaceAll( "font-style:italic", "font-family:'Cascadia Code NF Italic', 'Cascadia Code', italic", );