summaryrefslogtreecommitdiff
path: root/issues
AgeCommit message (Collapse)Author
2022-07-11issues: Implement search suggestions.Arun Isaac
* issues/search-suggestions.gmi: New file.
2022-07-11issues: Sort by date.Arun Isaac
* issues/sort-by-date.gmi: New file.
2022-07-11web: server: Summarize number of results by type.Arun Isaac
* tissue/web/server.scm (%css)[.search-results-statistics, .search-results-statistics li, .search-results-statistics a, .current-search-type]: New rules. * tissue/web/server.scm (make-search-page): Summarize number of results by type. (query-string, matches): New functions. (handler): Pass the number of matches by type to make-search-page. * issues/add-links-to-filter-documents-by-type.gmi: Close issue.
2022-07-09commit: Index commit messages too.Arun Isaac
* tissue/commit.scm: New file. * tissue/web/server.scm (%css)[.search-result-commit]: Add COMMIT marker. * bin/tissue: Import (tissue commit). * tissue.scm (#:indexed-documents): Add commits. * issues/index-commit-messages.gmi: Close issue.
2022-07-08issues: Support issue templates.Arun Isaac
* issues/issue-templates.gmi: New file.
2022-07-08issues: Add Gemini interface.Arun Isaac
* issues/gemini-interface.gmi: New file.
2022-07-08issues: Search by date.Arun Isaac
* issues/search-by-date.gmi: New file.
2022-07-08issues: Add links to filter documents by type.Arun Isaac
* issues/add-links-to-filter-documents-by-type.gmi: New file.
2022-07-08issues: Request indexing commit messages.Arun Isaac
* issues/index-commit-messages.gmi: New file.
2022-07-08issues: Request GitHub-like milestones.Arun Isaac
* issues/github-like-milestones.gmi: New file.
2022-07-08issues: Request Emacs interface.Arun Isaac
* issues/emacs-interface.gmi: New file.
2022-07-07issues: Request internationalization.Arun Isaac
* issues/internationalization.gmi: New file.
2022-07-07issues: Request pagination of search results in the web UI.Arun Isaac
* issues/paginate-search-results.gmi: New file.
2022-07-05issues: Request inline image rendering feature.Arun Isaac
* issues/render-images-in-web-output.gmi: New file.