Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Activate theme switcher as soon as the body tag exists. | Ricardo Wurmus | 2022-12-24 | 1 | -7/+5 |
| | |||||
* | Reduce page weight by simplifying line number anchors. | Ricardo Wurmus | 2022-12-24 | 1 | -0/+12 |
| | | | | | | | | For large issues with many lines the DOM becomes littered with anchors that slow down rendering significantly. Dropping the anchor tags cuts the page size in half and speeds up rendering. We can still address lines by their identifiers, but to act on clicks we need a little bit of JavaScript. | ||||
* | Add dark/light theme switcher. | Ricardo Wurmus | 2022-12-20 | 1 | -0/+101 |
| | |||||
* | Make tables sortable. | Ricardo Wurmus | 2020-04-01 | 1 | -0/+298 |
| | |||||
* | Update styles. | Ricardo Wurmus | 2019-07-11 | 1 | -2/+2 |
| | | | | | | | | | | | | | | | | | * assets/css/bootstrap.css: Replace with Bootstrap 4.1.1. * assets/css/screen.scm: Remove obsolete rules. * assets/img/logo.png: Use same logo as on ci.guix.gnu.org. * assets/js/mumi.js (loadSnippet): Replace outer HTML. * mumi/config.scm.in (%config): Add submission-bug-email-address. * mumi/web/view/html.scm (layout, search-form, header, index, issue-page): Adjust CSS classes. (index): Mention submission-bug-email-address; merge tables of recent/priority bugs. (issue-page): Use DL/DD/DT instead of UL for issue stats. (list-of-bugs): Return only table rows. (priority-bugs): Same. (list-of-matching-bugs): Adjust by adding table and table header. * mumi/web/controller.scm (controller): Adjust use of PRIORITY-BUGS. | ||||
* | controller: Load expensive lists via JavaScript | Ricardo Wurmus | 2019-02-01 | 1 | -0/+19 |
* mumi/web/controller.scm (controller): Add routes for rendering snippets. * mumi/web/view/html.scm (list-of-bugs): Export; add severity class. (priority-bugs): New procedure. (index): Add sections for priority bugs. * assets/js/mumi.js: New file. * assets/css/screen.css: Color serious and important bugs. |