From f8ad64f7d82f3a8e523a4039147d1a952a9b922c Mon Sep 17 00:00:00 2001 From: Anthony Perkins Date: Tue, 1 Aug 2023 16:13:25 +0100 Subject: [PATCH] Add settings.json for JetBrains Fleet --- roles/home-gui/files/fleet-settings.json | 16 ++++++++++++++++ 1 file changed, 16 insertions(+) create mode 100644 roles/home-gui/files/fleet-settings.json diff --git a/roles/home-gui/files/fleet-settings.json b/roles/home-gui/files/fleet-settings.json new file mode 100644 index 0000000..2f8f707 --- /dev/null +++ b/roles/home-gui/files/fleet-settings.json @@ -0,0 +1,16 @@ +{ + "animationEnabled": true, + "autoSave": false, + "editor.fontFamily": "Noto Sans Mono", + "editor.fontSize": 12.0, + "editor.guides": [ + 120 + ], + "editor.renderWhitespace": "All", + "fus.sendAllowed": false, + "restoreWorkspacesOnStartup": false, + "showEmptyStateOnLastClosedWindow": true, + "terminal.enableFocusEditorOnEsc": true, + "terminal.fontSize": 12.0, + "theme": "light" +}