diff options
| author | William Deurwaarder <william.git@xs4all.nl> | 2021-09-02 22:06:54 +0200 |
|---|---|---|
| committer | William Deurwaarder <william.git@xs4all.nl> | 2021-09-02 22:11:14 +0200 |
| commit | b54b0bc5803ddd269887e2cf24fc4b1d2880d0a1 (patch) | |
| tree | 30bc73fb17f274b73a51ec43edea4332669b1ebf /core/extension/native_extension_manager.h | |
| parent | b73e7623c82f27f6327922217ad72198223a7109 (diff) | |
Fix documentation viewer to scroll to end
Extra `line separation` height was not taken into account when the offset for
the different paragraphs (lines) was calculated.
Diffstat (limited to 'core/extension/native_extension_manager.h')
0 files changed, 0 insertions, 0 deletions