correctly set GTK font

This commit is contained in:
LordMZTE 2023-09-30 21:53:54 +02:00
parent 50e572b7b2
commit c7ae2c9aa9
Signed by: LordMZTE
GPG key ID: B64802DC33A64FF6
2 changed files with 3 additions and 1 deletions

View file

@ -1,3 +1,4 @@
gtk-icon-theme-name="<% opt.icon_theme %>"
gtk-cursor-theme-name="<% opt.cursor.theme %>"
gtk-theme-name="<% opt.gtk_theme %>"
gtk-font-name="<% opt.font %> 11"

View file

@ -18,10 +18,11 @@ cg.onDone(function(errors)
cg.opt.system("gsettings set org.gnome.desktop.interface gtk-theme " .. cg.opt.gtk_theme)
cg.opt.system("gsettings set org.gnome.desktop.interface cursor-theme " .. cg.opt.cursor.theme)
cg.opt.system("gsettings set org.gnome.desktop.interface cursor-size " .. cg.opt.cursor.size)
cg.opt.system("gsettings set org.gnome.desktop.interface font-name \"" .. cg.opt.font .. " 11\"")
end
end)
local fennel = loadfile("/usr/share/lua/5.4/fennel.lua")()
local fennel = loadfile "/usr/share/lua/5.4/fennel.lua" ()
-- Recursively merge 2 tables
local function merge(a, b)