diff options
| author | Blaž Hrastnik | 2022-10-11 00:53:55 +0000 |
|---|---|---|
| committer | Blaž Hrastnik | 2022-10-11 00:53:55 +0000 |
| commit | a85e3862988933953d1c0e7435969604d3722959 (patch) | |
| tree | 88dcfd0c2f194565a284acaad0e93f238dc86c7d /book/theme | |
| parent | 001858b11fb60926725e061ec31dfa9c77562148 (diff) | |
picker: Highlight the document on idle timeout
Diffstat (limited to 'book/theme')
0 files changed, 0 insertions, 0 deletions