Fix stuff

This commit is contained in:
Andreas Wachs 2023-08-22 13:04:53 +02:00
parent 52f48d1995
commit 4e1eff9b87
No known key found for this signature in database
GPG key ID: 46FF84123E7DCEAC
3 changed files with 48 additions and 17 deletions

View file

@ -8,10 +8,10 @@ return {
config = function()
-- Lazygit
local Terminal = require('toggleterm.terminal').Terminal
local defaultTerm = Terminal:new({ cmd = "zsh", hidden = true, orientation = "float" })
local lazygit = Terminal:new({ cmd = "lazygit", hidden = true })
local pythonREPL = Terminal:new({ cmd = "python3", hidden = true })
local haskellREPL = Terminal:new({ cmd = "ghci", hidden = true })
local defaultTerm = Terminal:new({ cmd = "zsh", hidden = true, direction = "float" })
local lazygit = Terminal:new({ cmd = "lazygit", hidden = true, direction = "float" })
local pythonREPL = Terminal:new({ cmd = "python3", hidden = true, direction = "float" })
local haskellREPL = Terminal:new({ cmd = "ghci", hidden = true, direction = "float" })
function _defaultterm_toggle()
defaultTerm:toggle()
@ -45,7 +45,7 @@ return {
direction = "float",
float_opts = {
border = "curved",
highlights = { border = "Normal", background = "Normal" },
highlights = { border = "Normal", background = "Dark" },
},
},
},