chore(build): auto-generate extras

This commit is contained in:
github-actions[bot]
2023-10-04 09:56:35 +00:00
parent 1a0e18fd85
commit 78cdc1df23
4 changed files with 44 additions and 8 deletions

View File

@@ -670,13 +670,22 @@ local highlights = {
DashboardCenter = {
fg = "#9854f1"
},
DashboardDesc = {
fg = "#007197"
},
DashboardFooter = {
fg = "#8c6c3e",
italic = true
fg = "#188092"
},
DashboardHeader = {
fg = "#2e7de9"
},
DashboardIcon = {
bold = true,
fg = "#007197"
},
DashboardKey = {
fg = "#b15c00"
},
DashboardShortCut = {
fg = "#007197"
},