theme: don't use transparency for borders

When the client is also using ARGB, the border becomes too transparent
and may be difficult to see. Just use a plain RGB border.
This commit is contained in:
Vincent Bernat 2014-11-04 11:26:08 +01:00
parent 8f1dfe53b6
commit 913ef0d3f2

View file

@ -37,7 +37,7 @@ theme.fg_minimize = "#ffffff"
theme.border_width = 4 theme.border_width = 4
theme.border_normal = "#00000000" theme.border_normal = "#00000000"
theme.border_focus = "#FF7F00EE" theme.border_focus = "#FF7F00"
theme.border_marked = "#91231c66" theme.border_marked = "#91231c66"
-- Widget stuff -- Widget stuff