From 886ae5363d3d001def10409baadfd6fafe9c586b Mon Sep 17 00:00:00 2001
From: Vivianne Langdon <puttabutta@gmail.com>
Date: Sun, 3 Jul 2022 15:35:02 -0700
Subject: [PATCH] there we go, coq much more functional now

---
 init.vim        |  2 +-
 lua/plugins.lua | 13 +++++++++++++
 2 files changed, 14 insertions(+), 1 deletion(-)

diff --git a/init.vim b/init.vim
index e3869c7..572a0f8 100644
--- a/init.vim
+++ b/init.vim
@@ -26,7 +26,7 @@ set listchars=tab:➫\ ,trail:░
 hi EoLSpace ctermbg=238 guibg=#333333
 match EoLSpace /\s\+$/
 
-set completeopt=menu,menuone,noselect,preview
+set completeopt=menu,menuone,preview,noinsert
 
 set fillchars+=vert:\
 set wrap breakindent
diff --git a/lua/plugins.lua b/lua/plugins.lua
index a1f91fc..097193e 100644
--- a/lua/plugins.lua
+++ b/lua/plugins.lua
@@ -210,9 +210,22 @@ return require('packer').startup(function(use)
       end
     end
   }
+  use {
+    'ms-jpq/coq.artifacts',
+    branch = 'artifacts'
+  }
   use {
     'ms-jpq/coq_nvim',
     branch = 'coq',
+    requires = 'ms-jpq/coq.artifacts',
+    config = function()
+      vim.g.coq_settings = {
+        auto_start = 'shut-up',
+        keymap = {
+          pre_select = true
+        }
+      }
+    end
   }
   use {
     'nvim-treesitter/nvim-treesitter',