chore: removed other users and systems

This commit is contained in:
Nick 2025-06-26 02:15:04 -05:00
parent 2b4ad99e25
commit 233cab07dd
135 changed files with 216 additions and 2462 deletions

View file

@ -24,10 +24,10 @@ in
"workbench.statusBar.visible" = false;
"editor.multiCursorLimit" = 700000;
"editor.wordWrap" = "on";
"editor.fontSize" = fonts.sizes.applications.size0;
"editor.fontFamily" = "'${fonts.names.name0}', 'monospace', monospace";
"terminal.integrated.fontSize" = fonts.sizes.applications.size0;
"terminal.integrated.fontFamily" = "'${fonts.names.name0}', 'monospace', monospace";
"editor.fontSize" = fonts.sizes.applications;
"editor.fontFamily" = "'${fonts.name}', 'monospace', monospace";
"terminal.integrated.fontSize" = fonts.sizes.applications;
"terminal.integrated.fontFamily" = "'${fonts.name}', 'monospace', monospace";
"editor.fontLigatures" = true;
"elmLS.disableElmLSDiagnostics" = true;
"elmLS.elmReviewDiagnostics" = "warning";