mirror of
https://github.com/awesomeWM/awesome
synced 2024-11-16 07:47:22 +01:00
refactor(theme): remove mouse finder remnants
It was removed back in Awesome v4.0 in 2016.
This commit is contained in:
parent
86b6c49a0f
commit
8abc99f35f
4 changed files with 0 additions and 8 deletions
|
@ -38,7 +38,6 @@ theme.border_color_marked = "#91231c"
|
||||||
-- tasklist_[bg|fg]_[focus|urgent]
|
-- tasklist_[bg|fg]_[focus|urgent]
|
||||||
-- titlebar_[bg|fg]_[normal|focus]
|
-- titlebar_[bg|fg]_[normal|focus]
|
||||||
-- tooltip_[font|opacity|fg_color|bg_color|border_width|border_color]
|
-- tooltip_[font|opacity|fg_color|bg_color|border_width|border_color]
|
||||||
-- mouse_finder_[color|timeout|animate_timeout|radius|factor]
|
|
||||||
-- prompt_[fg|bg|fg_cursor|bg_cursor|font]
|
-- prompt_[fg|bg|fg_cursor|bg_cursor|font]
|
||||||
-- hotkeys_[bg|fg|border_width|border_color|shape|opacity|modifiers_fg|label_bg|label_fg|group_margin|font|description_font]
|
-- hotkeys_[bg|fg|border_width|border_color|shape|opacity|modifiers_fg|label_bg|label_fg|group_margin|font|description_font]
|
||||||
-- Example:
|
-- Example:
|
||||||
|
|
|
@ -143,7 +143,6 @@ end
|
||||||
-- tasklist_[bg|fg|shape|shape_border_color|shape_border_width]_[focus|urgent|minimized]
|
-- tasklist_[bg|fg|shape|shape_border_color|shape_border_width]_[focus|urgent|minimized]
|
||||||
-- titlebar_[bg|fg]_[normal|focus]
|
-- titlebar_[bg|fg]_[normal|focus]
|
||||||
-- tooltip_[font|opacity|fg_color|bg_color|border_width|border_color]
|
-- tooltip_[font|opacity|fg_color|bg_color|border_width|border_color]
|
||||||
-- mouse_finder_[color|timeout|animate_timeout|radius|factor]
|
|
||||||
|
|
||||||
theme.tasklist_fg_normal = theme.wibar_fg
|
theme.tasklist_fg_normal = theme.wibar_fg
|
||||||
theme.tasklist_bg_normal = theme.wibar_bg
|
theme.tasklist_bg_normal = theme.wibar_bg
|
||||||
|
|
|
@ -42,7 +42,6 @@ theme.border_color_marked = xrdb.color10
|
||||||
-- tasklist_[bg|fg]_[focus|urgent]
|
-- tasklist_[bg|fg]_[focus|urgent]
|
||||||
-- titlebar_[bg|fg]_[normal|focus]
|
-- titlebar_[bg|fg]_[normal|focus]
|
||||||
-- tooltip_[font|opacity|fg_color|bg_color|border_width|border_color]
|
-- tooltip_[font|opacity|fg_color|bg_color|border_width|border_color]
|
||||||
-- mouse_finder_[color|timeout|animate_timeout|radius|factor]
|
|
||||||
-- Example:
|
-- Example:
|
||||||
--theme.taglist_bg_focus = "#ff0000"
|
--theme.taglist_bg_focus = "#ff0000"
|
||||||
|
|
||||||
|
|
|
@ -59,11 +59,6 @@ theme.titlebar_bg_normal = "#3F3F3F"
|
||||||
--theme.border_widget = "#3F3F3F"
|
--theme.border_widget = "#3F3F3F"
|
||||||
-- }}}
|
-- }}}
|
||||||
|
|
||||||
-- {{{ Mouse finder
|
|
||||||
theme.mouse_finder_color = "#CC9393"
|
|
||||||
-- mouse_finder_[timeout|animate_timeout|radius|factor]
|
|
||||||
-- }}}
|
|
||||||
|
|
||||||
-- {{{ Menu
|
-- {{{ Menu
|
||||||
-- Variables set for theming the menu:
|
-- Variables set for theming the menu:
|
||||||
-- menu_[bg|fg]_[normal|focus]
|
-- menu_[bg|fg]_[normal|focus]
|
||||||
|
|
Loading…
Reference in a new issue