diff options
author | Jaakko Keränen <jaakko.keranen@iki.fi> | 2021-05-21 10:52:44 +0300 |
---|---|---|
committer | Jaakko Keränen <jaakko.keranen@iki.fi> | 2021-05-21 10:52:44 +0300 |
commit | 8c1ccfed06a4b986d1a4addd8c173ad6bb4d6691 (patch) | |
tree | 5f74fb05d591b941dee41a67accf38821b56f1da /src/ui/command.h | |
parent | 38d1b4a51e56c1125b6fb1a832a09c9201fd3edf (diff) |
DocumentWidget: Scroll position vs. reload/navigating to new page
Diffstat (limited to 'src/ui/command.h')
0 files changed, 0 insertions, 0 deletions