| .. |
|
align.lua
|
Add and use gears.timer.run_delayed_calls_now()
|
2019-02-15 17:04:19 +01:00 |
|
align2.lua
|
Add and use gears.timer.run_delayed_calls_now()
|
2019-02-15 17:04:19 +01:00 |
|
border_color.lua
|
Add and use gears.timer.run_delayed_calls_now()
|
2019-02-15 17:04:19 +01:00 |
|
border_width.lua
|
Add and use gears.timer.run_delayed_calls_now()
|
2019-02-15 17:04:19 +01:00 |
|
gaps.lua
|
Apply placement margins on awful.tooltip (#3053)
|
2020-04-01 02:13:58 -07:00 |
|
margins.lua
|
Add and use gears.timer.run_delayed_calls_now()
|
2019-02-15 17:04:19 +01:00 |
|
margins_leftright.lua
|
Add and use gears.timer.run_delayed_calls_now()
|
2019-02-15 17:04:19 +01:00 |
|
margins_topbottom.lua
|
Add and use gears.timer.run_delayed_calls_now()
|
2019-02-15 17:04:19 +01:00 |
|
mode.lua
|
Add and use gears.timer.run_delayed_calls_now()
|
2019-02-15 17:04:19 +01:00 |
|
mode2.lua
|
Add and use gears.timer.run_delayed_calls_now()
|
2019-02-15 17:04:19 +01:00 |
|
mouse.lua
|
tests: Add images to the tooltip documentation
|
2018-12-24 21:52:30 -05:00 |
|
preferred_alignment.lua
|
Add and use gears.timer.run_delayed_calls_now()
|
2019-02-15 17:04:19 +01:00 |
|
preferred_alignment2.lua
|
Add and use gears.timer.run_delayed_calls_now()
|
2019-02-15 17:04:19 +01:00 |
|
preferred_alignment3.lua
|
Add and use gears.timer.run_delayed_calls_now()
|
2019-02-15 17:04:19 +01:00 |
|
preferred_positions.lua
|
Add and use gears.timer.run_delayed_calls_now()
|
2019-02-15 17:04:19 +01:00 |
|
shape.lua
|
Add and use gears.timer.run_delayed_calls_now()
|
2019-02-15 17:04:19 +01:00 |
|
textclock.lua
|
Add and use gears.timer.run_delayed_calls_now()
|
2019-02-15 17:04:19 +01:00 |
|
textclock2.lua
|
Add and use gears.timer.run_delayed_calls_now()
|
2019-02-15 17:04:19 +01:00 |
158cc37a0d