From 4f4a2a0dccea4f2d1e62b2b880838d2ab8594d08 Mon Sep 17 00:00:00 2001 From: RGBCube Date: Wed, 17 May 2023 22:49:26 +0300 Subject: [PATCH] Oops --- machines/asus/fonts.nix | 15 --------------- 1 file changed, 15 deletions(-) diff --git a/machines/asus/fonts.nix b/machines/asus/fonts.nix index 7ae3af0..2531817 100644 --- a/machines/asus/fonts.nix +++ b/machines/asus/fonts.nix @@ -7,18 +7,3 @@ with pkgs; systemFonts [ ]; }) ] - "editor.comments.ignoreEmptyLines": false, - "editor.experimental.asyncTokenization": true, - "editor.folding": false, - "editor.fontFamily": "JetBrainsMono Nerd Font ", - "editor.fontLigatures": true, - "editor.fontSize": 14, - "editor.fontWeight": "400", - "editor.guides.bracketPairsHorizontal": true, - "editor.inlayHints.fontSize": 11, - "editor.inlineSuggest.enabled": true, - "editor.lineHeight": 22, - "editor.lineNumbers": "relative", - "editor.minimap.enabled": false, - "editor.renderWhitespace": "boundary", - "editor.smoothScrolling": true,