diff options
author | Filipe Azevedo | 2022-11-26 20:40:43 +0000 |
---|---|---|
committer | GitHub | 2022-11-26 20:40:43 +0000 |
commit | f0f295a6679655dccfab0c1e0e9bb4a87e351db5 (patch) | |
tree | d9a6276fa342921bfcea951aa167617e13d23abc /screenshot.png | |
parent | fc811726e0e74dd6597f1ebbbd095901b8a78a3e (diff) |
reload-all: Only update viewport when view focuses on the doc (#4901)
Diffstat (limited to 'screenshot.png')
0 files changed, 0 insertions, 0 deletions