2022-08-23 16:02:27 +02:00
|
|
|
require"toggleterm".setup{
|
|
|
|
open_mapping = [[<c-y>]],
|
|
|
|
hide_numbers = true,
|
2022-10-13 23:53:23 +02:00
|
|
|
--direction = 'float',
|
2022-08-23 16:02:27 +02:00
|
|
|
float_opts = {
|
|
|
|
border = 'curved'
|
|
|
|
},
|
|
|
|
winbar = {
|
|
|
|
enabled = false
|
|
|
|
}
|
|
|
|
}
|
2022-10-13 23:53:23 +02:00
|
|
|
|
|
|
|
|