From 20ff29ebdf591afdf7187fd57ee996bc7bc4f9a3 Mon Sep 17 00:00:00 2001 From: Elias Almqvist Date: Fri, 5 Apr 2024 17:11:36 +0200 Subject: [PATCH] Stuff --- code/.config/Code/User/settings.json | 9 ++++++++- nvchad/.config/nvim/lua/custom/chadrc.lua | 4 ++-- 2 files changed, 10 insertions(+), 3 deletions(-) diff --git a/code/.config/Code/User/settings.json b/code/.config/Code/User/settings.json index 54aa52a..b7d6374 100644 --- a/code/.config/Code/User/settings.json +++ b/code/.config/Code/User/settings.json @@ -109,5 +109,12 @@ "window.autoDetectColorScheme": true, "window.zoomLevel": -1, "haskell.manageHLS": "GHCup", - "window.customTitleBarVisibility": "auto" + "window.customTitleBarVisibility": "auto", + "github.copilot.enable": { + "*": true, + "plaintext": false, + "markdown": false, + "scminput": false + }, + "haskell.serverExecutablePath": "/usr/bin/haskell-language-server" } diff --git a/nvchad/.config/nvim/lua/custom/chadrc.lua b/nvchad/.config/nvim/lua/custom/chadrc.lua index 4da4317..e102a43 100644 --- a/nvchad/.config/nvim/lua/custom/chadrc.lua +++ b/nvchad/.config/nvim/lua/custom/chadrc.lua @@ -5,8 +5,8 @@ local M = {} local highlights = require "custom.highlights" M.ui = { - theme = "gruvchad", - theme_toggle = { "gruvchad", "gruvbox_light" }, + theme = "github_dark", + theme_toggle = { "gruvchad", "github_dark" }, hl_override = highlights.override, hl_add = highlights.add,