| .. |
|
rounded.lua
|
background: Update all users so they don't use the deprecated name.
|
2019-04-05 21:06:11 -04:00 |
|
style_align.lua
|
doc: Document the tasklist widget.
|
2022-08-29 22:48:35 -07:00 |
|
style_bg_focus.lua
|
doc: Document the tasklist widget.
|
2022-08-29 22:48:35 -07:00 |
|
style_bg_minimize.lua
|
doc: Document the tasklist widget.
|
2022-08-29 22:48:35 -07:00 |
|
style_bg_normal.lua
|
doc: Document the tasklist widget.
|
2022-08-29 22:48:35 -07:00 |
|
style_bg_urgent.lua
|
doc: Document the tasklist widget.
|
2022-08-29 22:48:35 -07:00 |
|
style_disable_icon.lua
|
doc: Document the tasklist widget.
|
2022-08-29 22:48:35 -07:00 |
|
style_disable_task_name.lua
|
doc: Document the tasklist widget.
|
2022-08-29 22:48:35 -07:00 |
|
style_fg_focus.lua
|
doc: Document the tasklist widget.
|
2022-08-29 22:48:35 -07:00 |
|
style_fg_minimize.lua
|
doc: Document the tasklist widget.
|
2022-08-29 22:48:35 -07:00 |
|
style_fg_normal.lua
|
doc: Document the tasklist widget.
|
2022-08-29 22:48:35 -07:00 |
|
style_fg_urgent.lua
|
doc: Document the tasklist widget.
|
2022-08-29 22:48:35 -07:00 |
|
style_font.lua
|
doc: Document the tasklist widget.
|
2022-08-29 22:48:35 -07:00 |
|
style_font_focus.lua
|
doc: Document the tasklist widget.
|
2022-08-29 22:48:35 -07:00 |
|
style_font_minimized.lua
|
doc: Document the tasklist widget.
|
2022-08-29 22:48:35 -07:00 |
|
style_font_urgent.lua
|
doc: Document the tasklist widget.
|
2022-08-29 22:48:35 -07:00 |
|
style_plain_task_name.lua
|
doc: Document the tasklist widget.
|
2022-08-29 22:48:35 -07:00 |
|
style_shape.lua
|
doc: Document the tasklist widget.
|
2022-08-29 22:48:35 -07:00 |
|
style_shape_border_color.lua
|
doc: Document the tasklist widget.
|
2022-08-29 22:48:35 -07:00 |
|
style_shape_border_color_minimized.lua
|
doc: Document the tasklist widget.
|
2022-08-29 22:48:35 -07:00 |
|
style_shape_border_color_urgent.lua
|
doc: Document the tasklist widget.
|
2022-08-29 22:48:35 -07:00 |
|
style_shape_border_width.lua
|
doc: Document the tasklist widget.
|
2022-08-29 22:48:35 -07:00 |
|
style_shape_border_width_minimized.lua
|
doc: Document the tasklist widget.
|
2022-08-29 22:48:35 -07:00 |
|
style_shape_border_width_urgent.lua
|
doc: Document the tasklist widget.
|
2022-08-29 22:48:35 -07:00 |
|
style_shape_focus.lua
|
doc: Document the tasklist widget.
|
2022-08-29 22:48:35 -07:00 |
|
style_shape_focus_border_width.lua
|
doc: Document the tasklist widget.
|
2022-08-29 22:48:35 -07:00 |
|
style_shape_focus_border_width_focus.lua
|
doc: Document the tasklist widget.
|
2022-08-29 22:48:35 -07:00 |
|
style_shape_minimized.lua
|
doc: Document the tasklist widget.
|
2022-08-29 22:48:35 -07:00 |
|
style_shape_urgent.lua
|
doc: Document the tasklist widget.
|
2022-08-29 22:48:35 -07:00 |
|
style_spacing.lua
|
doc: Document the tasklist widget.
|
2022-08-29 22:48:35 -07:00 |
|
windows10.lua
|
tasklist: Auto-call set_client on all template widgets
|
2019-04-05 21:06:11 -04:00 |
8f71ef6dff