Fri Feb 3 21:43:17 2023 +0200
Avoid flicker during swipe navigation, and try to retain the
scroll position more closely.
The swipe animation is done with the help of additional
DocumentWidgets, but that is prone to various side effects, such as
overwriting the scroll position in the history, and rendering a
frame or two of invalid content. (This technical debt really should
be paid sooner or later.)
src/app.c | 15 ++++++++-- src/app.h | 1 + src/ui/certlistwidget.c | 3 +- src/ui/documentwidget.c | 77 +++++++++++++++++++++++++++++++++---------------- src/ui/documentwidget.h | 3 +- src/ui/widget.c | 6 ++-- 6 files changed, 74 insertions(+), 31 deletions(-)
=> Diff (Colored) | Diff (Colored, Plain Text) | 🔨 Patch
=> Parent 69496625 | Repository This content has been proxied by September (3851b).Proxy Information
text/gemini; charset=utf-8