2022-10-22 00:55:56 +00:00
|
|
|
vim.cmd.GuiTabline(0)
|
|
|
|
|
vim.cmd.GuiPopupmenu(0)
|
|
|
|
|
|
|
|
|
|
local font
|
|
|
|
|
if vim.fn.has('unix') == 1 then
|
|
|
|
|
font = 'Terminus:h12'
|
|
|
|
|
elseif vim.fn.has('win32') == 1 then
|
|
|
|
|
font = 'Lucida Console:h8'
|
|
|
|
|
end
|
|
|
|
|
|
|
|
|
|
if font then
|
2023-04-23 02:37:53 +00:00
|
|
|
vim.cmd.Guifont({args = {font}, bang = true})
|
2022-10-22 00:55:56 +00:00
|
|
|
end
|
