Lagrange [release]

App: Ensure history gets written eventually

Sun Aug 31 08:09:14 2025 +0300

The visited file is written periodically when using the app.

`visited.changed` gets triggered quite often, so avoid writing

everything each time. Instead, do it periodically but be more

careful about actually getting around to it, especially if

the app goes to the background.

IssueID #649

 res/about/ios-version.gmi |  1 +
 src/app.c                 | 57 +++++++++++++++++++++++++++++++++++++----------
 src/app.h                 |  1 +
 src/ui/root.c             |  4 ++++
 src/ui/util.c             |  2 ++
 src/ui/window.c           |  1 -
 6 files changed, 53 insertions(+), 13 deletions(-)