Overview
| Comment: | docs: page the documentation index (merged with the structure panel) |
|---|---|
| Timelines: | family | ancestors | descendants | both | docs-paging-merge |
| Files: | files | file ages | folders |
| SHA3-256: |
430e0765587cfc778893561d3754d53b |
| User & Date: | dmestas on 2026-08-23 01:44:23.478 |
| Other Links: | branch diff | manifest | tags |
Context
|
2026-08-23
| ||
| 01:45 |
merge docs-paging: page the documentation index
Resolved twice against work that landed on trunk in parallel — the wiki structure panel and saved views. All three are orthogonal; nothing was dropped. Truncation goes, since paging replaces it. check-in: ce412bd621 user: dmestas tags: trunk | |
| 01:44 | docs: page the documentation index (merged with the structure panel) closed check-in: 430e076558 user: dmestas tags: docs-paging-merge | |
| 01:41 |
docs: page the documentation index
Wiki pages alone did not need paging — human authorship bounds them at a couple of hundred — but the tree half is unbounded, and the old 400 cap was a dead end with everything past it reachable only by guessing a filter. Pages of 100, since these are one-line rows in two columns. One function builds every link, so a filter, a sort, a page and the associated-wiki choice cannot lose each other; a stale offset lands on the first page rather than an empty one. The pager type is shared with the tracker now, which is what it always was. closed check-in: fa70fc4958 user: dmestas tags: docs-paging | |
| 01:35 | a door to your tickets in the account menu check-in: 4505e6dea5 user: dmestas tags: trunk | |
Changes
Modified internal/web/web.go
from [1e1d5a76e1]
to [250b70c2aa].
[diff]