From 694b8f443db6e3b2b6dc6335638d9f1c7a77e0be Mon Sep 17 00:00:00 2001 From: Nguyễn Gia Phong Date: Sun, 2 Dec 2018 11:19:45 +0700 Subject: Update 2018-12-02 --- awesome/.config/awesome/themes/gruvbox/theme.lua | 8 ++++++++ 1 file changed, 8 insertions(+) (limited to 'awesome/.config/awesome/themes') diff --git a/awesome/.config/awesome/themes/gruvbox/theme.lua b/awesome/.config/awesome/themes/gruvbox/theme.lua index 661719a..7ec8a70 100644 --- a/awesome/.config/awesome/themes/gruvbox/theme.lua +++ b/awesome/.config/awesome/themes/gruvbox/theme.lua @@ -20,17 +20,21 @@ local theme = {} theme.wd = "~/.config/awesome/themes/gruvbox/" theme.font = "Latin Modern Mono Caps 12" +theme.hotkeys_font = "Latin Modern Mono Bold 12" +theme.hotkeys_description_font = theme.font theme.bg_normal = "#fbf1c7" theme.bg_focus = "#ebdbb2" theme.bg_urgent = theme.bg_normal theme.bg_minimize = theme.bg_focus theme.bg_systray = theme.bg_normal +theme.hotkeys_bg = theme.bg_normal theme.fg_normal = "#3c3836" theme.fg_focus = theme.fg_normal theme.fg_urgent = "#8f3f71" theme.fg_minimize = theme.fg_normal +theme.hotkeys_fg = theme.fg_normal theme.useless_gap = 0 theme.border_width = 1 @@ -38,6 +42,10 @@ theme.border_normal = theme.bg_focus theme.border_focus = "#b16286" theme.border_marked = "#cc241d" +theme.hotkeys_border_color = theme.border_focus +theme.hotkeys_border_width = theme.border_width +theme.hotkeys_modifiers_fg = theme.fg_urgent + -- There are other variable sets -- overriding the default one when -- defined, the sets are: -- cgit 1.4.1