diff options
| author | Kirawi | 2021-08-19 16:35:14 +0000 |
|---|---|---|
| committer | Blaž Hrastnik | 2021-08-20 01:43:08 +0000 |
| commit | da8810809a97d09f9a3117650f3f4364fa8dd20c (patch) | |
| tree | 6da94a5d990da5965190639ae90bfba9528531a2 /book/theme | |
| parent | 0595b0626ab45339fc77ac3d8850d786d821989b (diff) | |
use `ui.text.focus` for the picker (fix #622)
Diffstat (limited to 'book/theme')
0 files changed, 0 insertions, 0 deletions