quad
/
dotfiles
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Add a border to the active desktop name

This commit is contained in:
Dominik V. Salonen 2018-04-01 22:49:36 +02:00
parent 7d4c8790b3
commit e50f58d76e
1 changed files with 9 additions and 9 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

18
applications/tint2/tint2rc
View File

@ -1,4 +1,4 @@
#---- Generated by tint2conf e32c ---- #---- Generated by tint2conf 30a6 ----
# See https://gitlab.com/o9000/tint2/wikis/Configure for # See https://gitlab.com/o9000/tint2/wikis/Configure for
# full documentation of the configuration options. # full documentation of the configuration options.
#------------------------------------- #-------------------------------------
@ -70,16 +70,16 @@ border_color_hover = #000000 30
background_color_pressed = #000000 60 background_color_pressed = #000000 60
border_color_pressed = #000000 30 border_color_pressed = #000000 30
# Background 6: # Background 6: Active desktop name
rounded = 0 rounded = 0
border_width = 0 border_width = 3
border_sides = TBLR border_sides = B
border_content_tint_weight = 0 border_content_tint_weight = 0
background_content_tint_weight = 0 background_content_tint_weight = 0
background_color = #1a1a1a 100 background_color = #222222 100
border_color = #000000 30 border_color = #f0544c 100
background_color_hover = #000000 60 background_color_hover = #000000 0
border_color_hover = #000000 30 border_color_hover = #f0544c 100
background_color_pressed = #000000 60 background_color_pressed = #000000 60
border_color_pressed = #000000 30 border_color_pressed = #000000 30
@ -124,7 +124,7 @@ taskbar_hide_different_desktop = 0
taskbar_always_show_all_desktop_tasks = 0 taskbar_always_show_all_desktop_tasks = 0
taskbar_name_padding = 4 2 taskbar_name_padding = 4 2
taskbar_name_background_id = 0 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 = tewii 8
taskbar_name_font_color = #999999 100 taskbar_name_font_color = #999999 100
taskbar_name_active_font_color = #ffffff 100 taskbar_name_active_font_color = #ffffff 100