Lagrange [release]

iOS: Scroll to top on status bar taps

Fri Jan 28 14:55:51 2022 +0200

 src/ios.m               | 30 +++++++++++++++++++++++++++++-
 src/ui/documentwidget.c |  6 ++++++
 2 files changed, 35 insertions(+), 1 deletion(-)