Skip to content

Instantly share code, notes, and snippets.

@iguilhermegr

iguilhermegr/settings.json

Last active August 18, 2024 03:32
Show Gist options
  • Save iguilhermegr/1fe566ba316b0ad8600ab29cf8dcdab0 to your computer and use it in GitHub Desktop.
Save iguilhermegr/1fe566ba316b0ad8600ab29cf8dcdab0 to your computer and use it in GitHub Desktop.
Download ZIP
VSCode Insiders Workspace Settings (updated)
Raw
settings.json
{
// init
// discord rich presence by icrawl
"discord.enabled": true,
"discord.lowerDetailsEditing": "📝 {file_name} with {total_lines} lines ・ ln {current_line}, col {current_column}",
"discord.lowerDetailsIdling": "",
"discord.detailsEditing": "📂 {workspace_folder}/{dir_name}",
"discord.detailsIdling": "snoozin...",
"discord.idleTimeout": 300,
"discord.lowerDetailsDebugging": "🐛 {file_name} with {total_lines} lines ・ ln {current_line}, col {current_column}",
"discord.detailsDebugging": "👾📂 {workspace_folder}/{dir_name}",
"discord.largeImage": "coding in {lang}",
"discord.lowerDetailsNoWorkspaceFound": "no workspace? 🤨"
////////////////////////////////////////////////////////////////////////////
// end :)
}
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment