Some vim tweaks.

config/nvim/ginit.vim

@@ -3,5 +3,5 @@ let g:neovide_cursor_vfx_mode = "disabled"
 GuiFont Fira Mono:h13
 set mouse=a
 set notitle
-set guifont=DejaVu\ Sans\ Mono:h15
+set guifont=Fira\ Mono:h15
 imap <C-BS> <C-W>

vimrc

@@ -210,7 +210,7 @@ lua <<EOF
       },
       enable = true,
     },
-    treesitter = {},
+    -- treesitter = {},
     lsp = {
       on_attach = function(client, bufnr)
 	vim.api.nvim_exec([[
@@ -275,7 +275,7 @@ require'compe'.setup {
     buffer = true;
     calc = true;
     nvim_lsp = true;
-    emoji = true;
+    -- emoji = true;
   };
 }
 
@@ -308,6 +308,8 @@ lspconfig.pyright.setup{}
 lspconfig.tsserver.setup{}
 lspconfig.texlab.setup{}
 
+--vim.lsp.set_log_level("debug")
+
 require('rust-tools').setup{}
 
 require('telescope').setup{
@@ -355,6 +357,8 @@ nnoremap ]d <cmd>lua vim.lsp.diagnostic.goto_next()<CR>
 nnoremap <space>q <cmd>lua vim.lsp.diagnostic.set_loclist()<CR>
 nnoremap <space>f <cmd>lua vim.lsp.buf.formatting()<CR>
 
+nnoremap <leader>i <Cmd>lua require('lean.infoview').toggle()<CR>
+
 nnoremap <c-p> <cmd>Telescope find_files<cr>
 nnoremap <leader>ff <cmd>Telescope find_files<cr>
 nnoremap <leader>fg <cmd>Telescope live_grep<cr>