From e50f58d76e97177d003171d1bcbbe17d929d1def Mon Sep 17 00:00:00 2001 From: "Dominik V. Salonen" Date: Sun, 1 Apr 2018 22:49:36 +0200 Subject: [PATCH] Add a border to the active desktop name --- applications/tint2/tint2rc | 18 +++++++++--------- 1 file changed, 9 insertions(+), 9 deletions(-) diff --git a/applications/tint2/tint2rc b/applications/tint2/tint2rc index 287f104..926579e 100644 --- a/applications/tint2/tint2rc +++ b/applications/tint2/tint2rc @@ -1,4 +1,4 @@ -#---- Generated by tint2conf e32c ---- +#---- Generated by tint2conf 30a6 ---- # See https://gitlab.com/o9000/tint2/wikis/Configure for # full documentation of the configuration options. #------------------------------------- @@ -70,16 +70,16 @@ border_color_hover = #000000 30 background_color_pressed = #000000 60 border_color_pressed = #000000 30 -# Background 6: +# Background 6: Active desktop name rounded = 0 -border_width = 0 -border_sides = TBLR +border_width = 3 +border_sides = B border_content_tint_weight = 0 background_content_tint_weight = 0 -background_color = #1a1a1a 100 -border_color = #000000 30 -background_color_hover = #000000 60 -border_color_hover = #000000 30 +background_color = #222222 100 +border_color = #f0544c 100 +background_color_hover = #000000 0 +border_color_hover = #f0544c 100 background_color_pressed = #000000 60 border_color_pressed = #000000 30 @@ -124,7 +124,7 @@ taskbar_hide_different_desktop = 0 taskbar_always_show_all_desktop_tasks = 0 taskbar_name_padding = 4 2 taskbar_name_background_id = 0 -taskbar_name_active_background_id = 0 +taskbar_name_active_background_id = 6 taskbar_name_font = tewii 8 taskbar_name_font_color = #999999 100 taskbar_name_active_font_color = #ffffff 100