diff options
| author | Anton Khirnov <anton@khirnov.net> | 2020-12-02 16:09:47 +0100 |
|---|---|---|
| committer | Anton Khirnov <anton@khirnov.net> | 2020-12-02 16:09:47 +0100 |
| commit | f5ad91619df0a398fad00e01e30c0fbd278f963f (patch) | |
| tree | 41d52f28edd7505540d3035332532057fbb53f40 /theme.lua | |
| parent | c5282fe57820960f48a3e28f98609a848a972dfb (diff) | |
pager: improve marking visible pages
Use a new desktop signal - page:hide - to make updates work correctly in
all cases.
Mark pages of the same desktop displayed on other screens with a
special color.
Diffstat (limited to 'theme.lua')
0 files changed, 0 insertions, 0 deletions