diff options
author | Jaakko Keränen <jaakko.keranen@iki.fi> | 2021-01-18 20:53:13 +0200 |
---|---|---|
committer | Jaakko Keränen <jaakko.keranen@iki.fi> | 2021-01-18 20:53:13 +0200 |
commit | 538aa4e5f226551d6a529b6d4e85c0cef4d862f7 (patch) | |
tree | 458de015c2ea13fee38aad0efa01f1135d0bb22e /res | |
parent | d828264ebb1f021a7e4bb3abbb5719dc637c2fa3 (diff) |
Better versioned file name for visited URLs
Diffstat (limited to 'res')
-rw-r--r-- | res/about/help.gmi | 2 | ||||
-rw-r--r-- | res/about/version.gmi | 1 |
2 files changed, 2 insertions, 1 deletions
diff --git a/res/about/help.gmi b/res/about/help.gmi index 7260aeb5..ade0f07a 100644 --- a/res/about/help.gmi +++ b/res/about/help.gmi | |||
@@ -349,7 +349,7 @@ Other Unix : ~/.config/lagrange/ | |||
349 | * prefs.cfg | 349 | * prefs.cfg |
350 | * state.lgr | 350 | * state.lgr |
351 | * trusted.txt | 351 | * trusted.txt |
352 | * visited.txt | 352 | * visited.2.txt |
353 | 353 | ||
354 | # 4 MIME hooks | 354 | # 4 MIME hooks |
355 | 355 | ||
diff --git a/res/about/version.gmi b/res/about/version.gmi index ef5157fe..a74a39eb 100644 --- a/res/about/version.gmi +++ b/res/about/version.gmi | |||
@@ -16,6 +16,7 @@ | |||
16 | * Remote bookmarks are grouped under their source in the bookmark list. | 16 | * Remote bookmarks are grouped under their source in the bookmark list. |
17 | * A bookmark's icon is updated after loading the page so it matches the site. | 17 | * A bookmark's icon is updated after loading the page so it matches the site. |
18 | * Trusting a new server certificate manually will update the current page without reloading. | 18 | * Trusting a new server certificate manually will update the current page without reloading. |
19 | * Fixed timestamps of visited URLs. Your browsing history will be erased but can still be found in "visited.txt". | ||
19 | 20 | ||
20 | ## 1.0.3 | 21 | ## 1.0.3 |
21 | * Improved font glyph caching: only rasterize glyphs when drawing text, and retry after failure. This makes initial document layout faster and avoids issues with permanently lost glyphs. | 22 | * Improved font glyph caching: only rasterize glyphs when drawing text, and retry after failure. This makes initial document layout faster and avoids issues with permanently lost glyphs. |