require("bootstrap")
require("plugins")
require("config.coq")
require("config.winsep")
require("config.bindings")
require("ui.status")
require("ui.startscreen")
require("ui.highlight")

--{{{ vim cmd
vim.cmd(":set showtabline=2")
vim.cmd(":set ignorecase")
vim.cmd(":set smartcase")
vim.cmd(":set number")
vim.cmd(":set clipboard+=unnamedplus")
vim.cmd(":set relativenumber")
vim.cmd(":set foldmethod=marker")
vim.opt.fillchars:append { eob = " " }
--}}}
vim.g.vimtex_view_method = 'zathura'