| Age | Commit message (Collapse) | Author |
|---|
|
Three important changes:
1) Visited URLs can be marked as "kept" so they will never be discarded due to old age.
2) Feed entries are not discarded from the database until they are removed from the source, and then become too old (six months).
3) Visited feed entry URLs are always flagged as kept, so the (un)read status will not be forgotten.
|
|
This affects link/entry unread status, and how long feed entries are kept in the cache.
|
|
Internally, all URIs should be converted to a canonical form so that they can be compared against each other.
The canonical form is an IRI with spaces and reserved characters percent-encoded.
|
|
|
|
The timestamps written to "visited.txt" were being shifted by GMT offset on each write/read, rendering them increasingly incorrect.
Since these timestamps cannot be trusted, ignore the old file and keep proper timestamp values in "visited2.txt" from now on.
It is also more efficient to not convert each timestamp to a date when serializing.
|
|
For some unknown reason, the parsing of the entry dates is sometimes (randomly?) off by 3600 seconds (one hour). This need a closer investigation; maybe a DST thing? For now check the date instead.
|
|
|
|
|
|
"visited.txt" will now remember URLs that were redirects, but those are not shown in the UI as part of the history. This fixes the issue where redirected URLs were not being shown as visited links in the UI.
Beware if downgrading Lagrange: URLs in the history will get prefixed with "0000 ". Might be a good idea to switch to a forwards compatible format like JSON for these files.
|
|
|
|
|
|
|
|
|
|
|
|
App maintains the visited URLs database, but each DocumentWidget has its own stack of recent URLs for timeline navigation.
|
