Skip to content

Instantly share code, notes, and snippets.

View iguilhermegr's full-sized avatar
🧪
Always learning

gr iguilhermegr

🧪
Always learning
View GitHub Profile
@iguilhermegr
iguilhermegr / settings.json
Last active August 18, 2024 03:32
VSCode Insiders Workspace Settings (updated)
{
// 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}",
@iguilhermegr
iguilhermegr / settings.json
Last active August 22, 2024 03:19
VSCode Insiders User Settings (updated)
{
// init
// editor config
"editor.fontFamily": "JetBrains Mono, Cascadia Mono, Consolas, 'Courier New', monospace",
"editor.fontSize": 13,
"editor.fontLigatures": true,
"editor.fontWeight": "bold",
"editor.fastScrollSensitivity": 5,
"editor.padding.top": 20,
"editor.padding.bottom": 30,