c963b16f90
wibox.layout.grid: Update the property documentation.
2022-08-29 22:49:47 -07:00
13b792e42e
wibox.layout.flex: Update the property documentation.
2022-08-29 22:49:47 -07:00
285a8b23ff
wibox.layout.fixed: Update the property documentation.
2022-08-29 22:49:47 -07:00
1fa30c3195
wibox.layout.align: Update the property documentation.
2022-08-29 22:49:47 -07:00
2e41211772
wibox.container.tile: Update the property documentation.
2022-08-29 22:49:47 -07:00
4c06aaab4f
wibox.container.scroll: Update the property documentation.
2022-08-29 22:49:47 -07:00
1dafd25d93
wibox.container.rotate: Update the property documentation.
2022-08-29 22:49:47 -07:00
6c84e83ccf
wibox.container.radialprogressbar: Update the property documentation.
2022-08-29 22:49:47 -07:00
f0482485fa
wibox.container.place: Update the property documentation.
2022-08-29 22:49:47 -07:00
bdec7eb516
wibox.container.mirror: Update the property documentation.
2022-08-29 22:49:47 -07:00
534c2324ae
wibox.container.margin: Update the property documentation.
2022-08-29 22:49:47 -07:00
268c66584e
wibox.container.constraint: Update the property documentation.
2022-08-29 22:49:47 -07:00
d147899f86
wibox.container.background: Update the property documentation.
2022-08-29 22:49:47 -07:00
73ec416287
wibox.container.arcchart: Update the property documentation.
2022-08-29 22:49:47 -07:00
2c14e90a89
naughty.widget.title: Update the property documentation.
2022-08-29 22:49:47 -07:00
0014785c85
naughty.widget.message: Update the property documentation.
2022-08-29 22:49:47 -07:00
7149b93abb
naughty.widget.icon: Update the property documentation.
2022-08-29 22:49:47 -07:00
a7fd2e2278
naughty.notification: Update the property documentation.
2022-08-29 22:49:47 -07:00
e4d88e5566
naughty.list.notifications: Update the property documentation.
2022-08-29 22:49:47 -07:00
51a1d387e5
naughty.list.actions: Update the property documentation.
2022-08-29 22:49:47 -07:00
eb21c24acb
naughty.layout.box: Update the property documentation.
2022-08-29 22:49:47 -07:00
c3a73cab53
naughty.core: Update the property documentation.
2022-08-29 22:49:47 -07:00
85eb759bd8
naughty.container.background: Update the property documentation.
2022-08-29 22:49:47 -07:00
6b382148a8
naughty.action: Update the property documentation.
2022-08-29 22:49:47 -07:00
05ecb513c5
menubar.init: Update the property documentation.
2022-08-29 22:49:47 -07:00
11ce8fd77c
gears.timer: Update the property documentation.
2022-08-29 22:49:47 -07:00
52c481babc
gears.color: Update the property documentation.
2022-08-29 22:49:47 -07:00
8f1a29b15f
awful.widget.watch: Update the property documentation.
2022-08-29 22:49:47 -07:00
d45bd3a9d9
awful.widget.tasklist: Update the property documentation.
2022-08-29 22:49:47 -07:00
a96ad1b766
awful.widget.taglist: Update the property documentation.
2022-08-29 22:49:47 -07:00
60b52ab4c3
awful.widget.only_on_screen: Update the property documentation.
2022-08-29 22:49:47 -07:00
4c4d833a69
awful.widget.layoutlist: Update the property documentation.
2022-08-29 22:49:47 -07:00
0e5a62950e
awful.widget.layoutbox: Update the property documentation.
2022-08-29 22:49:47 -07:00
72041d63a4
awful.widget.keyboardlayout: Update the property documentation.
2022-08-29 22:49:47 -07:00
176526a8d2
awful.widget.clienticon: Update the property documentation.
2022-08-29 22:49:47 -07:00
bd07d49197
awful.wibar: Update the property documentation.
2022-08-29 22:49:47 -07:00
b5a9250a58
awful.wallpaper: Update the property documentation.
2022-08-29 22:49:47 -07:00
9d04ba72f9
awful.tooltip: Update the property documentation.
2022-08-29 22:49:47 -07:00
91de268703
awful.tag: Update the property documentation.
2022-08-29 22:49:47 -07:00
6d31e783df
awful.screen: Update the property documentation.
2022-08-29 22:49:47 -07:00
5909d2f155
awful.popup: Update the property documentation.
2022-08-29 22:49:47 -07:00
e8a505273a
awful.mouse.init: Update the property documentation.
2022-08-29 22:49:46 -07:00
deaeb4dab8
awful.keygrabber: Update the property documentation.
2022-08-29 22:49:46 -07:00
530055f024
awful.key: Update the property documentation.
2022-08-29 22:49:46 -07:00
0b902c1d69
awful.hotkeys_popup.widget: Update the property documentation.
2022-08-29 22:49:46 -07:00
418bf92858
awful.client: Update the property documentation.
2022-08-29 22:49:46 -07:00
6e546bcb6a
awful.button: Update the property documentation.
2022-08-29 22:49:46 -07:00
4fa957b75d
doc: Force all properties to document their default value.
2022-08-29 22:49:46 -07:00
86d1b1c22c
doc: Add a mandatory `@noreturn` for functions and methods.
...
The goal is to catch cases where the return value exists, but is
forgotten. There was a large enough number of them to turn this
into a real check. Initially, I just wanted to implement it to fix
the problems, then delete the code. But since this is so common, I
think it is worth the annoyance.
2022-08-29 22:49:45 -07:00
4bd90f0f35
doc: Add documentation linting and fix all issues it found.
2022-08-29 22:48:54 -07:00
Emmanuel Lepage Vallee