Update for Neovim 0.10.0

Signed-off-by: Danila Fedorin <daniel.fedorin@hpe.com>

i3/.config/i3/config

@@ -180,7 +180,7 @@ exec_always --no-startup-id compton
 # Remove window borders
 for_window [class="^.*"] border pixel 2
 # Set up gaps
-gaps inner 20
+gaps inner 5
 # Browser shortcut
 bindsym $mod+Shift+b exec firefox
 # Compton shortcut
@@ -192,6 +192,6 @@ bindsym $mod+Shift+s exec scrot
 bindsym $mod+Shift+f exec scrot -s
 bindsym $mod+Shift+o exec alacritty --command ~/projects/ppl-cli/script/open_float.sh
 
-client.focused #436394 #436394 #436394 #436394 #436394
+client.focused #428df5 #428df5 #428df5 #428df5 #428df5
 client.focused_inactive #2e3440 #2e3440 #2e3440 #2e3440 #2e3440
 client.unfocused #2e3440 #2e3440 #2e3440 #2e3440 #2e3440

nvim/.config/nvim/init.vim

@@ -27,6 +27,9 @@ Plug 'derekelkins/agda-vim'
 Plug 'ftorres16/spice.vim'
 Plug 'vmware/differential-datalog', {'rtp': 'tools/vim'}
 Plug 'FStarLang/VimFStar', {'for': 'fstar'}
+Plug 'purescript-contrib/purescript-vim'
+" Plug '~/Documents/software/chapel/highlight/vim'
+" Plug 'ashinkarov/nvim-agda'
 
 " Themes
 Plug 'arcticicestudio/nord-vim'
@@ -39,9 +42,16 @@ Plug 'luochen1990/rainbow'
 Plug 'simrat39/symbols-outline.nvim'
 Plug 'folke/todo-comments.nvim'
 
+" AI (Yes, you heard me)
+Plug 'aduros/ai.vim'
+Plug 'github/copilot.vim'
+
 " Misc
+Plug 'uga-rosa/utf8.nvim'
 Plug 'nvim-lua/plenary.nvim'
 Plug 'airblade/vim-gitgutter'
+Plug 'f-person/git-blame.nvim'
+Plug 'wakatime/vim-wakatime'
 call plug#end()
 
 set exrc " Execute local vimscripts
@@ -53,10 +63,16 @@ set signcolumn=yes " Always show extra column
 set guifont=Iosevka:h35 " Use Ioeska in frontends.
 set hidden
 
+autocmd ColorScheme * highlight ExtraWhitespace ctermbg=red guibg=red
+autocmd ColorScheme * highlight Comment ctermfg=green
+autocmd BufWinEnter * match ExtraWhitespace /\s\+$/ " Highlight trailing whitespace
 autocmd BufRead,BufNewFile *.v set filetype=coq " Coq is not Verilog
 autocmd BufNewFile,BufRead *.cir set filetype=spice " LTSpice is Spice
 autocmd BufRead,BufNewFile *.dl set filetype=dl " Datalog is Datalog
 autocmd FileType crystal setlocal shiftwidth=2 " Crystal likes 2-wide indent
+autocmd FileType cpp setlocal shiftwidth=2 " Chapel has two-wide indents
+autocmd BufRead,BufNewFile *.ast set filetype=ast " AST files are from Chapel.
+autocmd VimEnter * Copilot enable
 
 " Settings for Rainbow
 let g:rainbow_active = 1
@@ -82,6 +98,7 @@ let g:fzf_action = { 'enter': 'tab drop' }
 let g:neovide_cursor_vfx_mode="ripple"
 
 colorscheme nord
+hi Comment guifg=#A3BE8C
 
 lua require('lspconfig').hls.setup{}
 lua require('lspconfig').rls.setup{}
@@ -89,11 +106,20 @@ lua require('lspconfig').clangd.setup{}
 lua require('lspconfig').tsserver.setup{}
 lua require('lspconfig').elmls.setup{}
 lua require('lspconfig').pylsp.setup{}
+lua require('lspconfig').purescriptls.setup{}
+lua require('lspconfig').pyright.setup{}
+
+" All these language servers can be used for symbols-outline
+lua require("symbols-outline").setup()
 
 " nmap <silent>K <Plug>(lcn-menu)
 nmap <silent>M <cmd>lua vim.lsp.diagnostic.show_line_diagnostics()<CR>
 nmap <silent>? <cmd>lua vim.lsp.buf.hover()<CR>
 nmap <silent>K <cmd>lua vim.lsp.buf.rename()<CR>
+nmap <silent><space>d <cmd>lua vim.lsp.buf.definition()<CR>
+nmap <silent><space>D <cmd>lua vim.lsp.buf.declaration()<CR>
+nmap <silent><space>i <cmd>lua vim.lsp.buf.implementation()<CR>
+nmap <silent><space>r <cmd>lua vim.lsp.buf.references()<CR>
 
 " Ctrl-e to open file in new tab (or jump to it)
 nmap <c-e> :Files<CR>
@@ -108,6 +134,9 @@ let g:compe.source = {
   \ 'nvim_lsp': v:true,
   \ }
 
+" Highlight 80th column
+let &colorcolumn="80,".join(range(120,999),",")
+
 " Racket settings
 au BufReadPost *.rkt,*.rktl set filetype=racket
 au filetype racket set lisp
@@ -120,7 +149,40 @@ function! g:CoqtailHighlight()
 endfunction
 
 lua << EOF
-  require("todo-comments").setup {
+  local lspconfig = require 'lspconfig'
+  local configs = require 'lspconfig.configs'
+  local util = require 'lspconfig.util'
+  local todocomments = require 'todo-comments'
+
+  todocomments.setup {
     search = { command = "ag", },
   }
+
+  configs.chplcheck = {
+    default_config = {
+      cmd = {"chplcheck", "--lsp", "--enable-rule", "UnusedFormal", "--enable-rule", "UnusedLoopIndex"},
+      filetypes = {'chpl'},
+      autostart = true,
+      single_file_support = true,
+      root_dir = util.find_git_ancestor,
+      settings = {},
+    },
+  }
+
+  configs.chpllsp = {
+    default_config = {
+      cmd = {"/Users/daniel.fedorin/Documents/software/chapel/tools/chpl-language-server/chpl-language-server", "--resolver"},
+      filetypes = {'chpl'},
+      autostart = true,
+      single_file_support = true,
+      root_dir = util.find_git_ancestor,
+      settings = {},
+    },
+  }
+
+  lspconfig.chplcheck.setup{}
+  lspconfig.chpllsp.setup{}
+  vim.cmd("autocmd BufRead,BufNewFile *.chpl set filetype=chpl")
+
+  vim.lsp.inlay_hint.enable(true, nil)
 EOF

tmux/.tmux.conf

@@ -1,2 +1,4 @@
 set mouse
 set -sg escape-time 0
+set -g default-terminal "screen-256color"
+set -ag terminal-overrides ",xterm-256color:RGB"