Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | js: Do not finish token on space when inside a prefixed phrase. | Ricardo Wurmus | 2023-01-01 | 1 | -1/+1 |
| | |||||
* | js: Simplify query tokenizer. | Ricardo Wurmus | 2023-01-01 | 1 | -41/+1 |
| | |||||
* | js: Tokenize pasted text. | Ricardo Wurmus | 2023-01-01 | 1 | -0/+7 |
| | |||||
* | js: Move tokenizer code to function. | Ricardo Wurmus | 2023-01-01 | 1 | -11/+17 |
| | |||||
* | js: Move constants out of function context. | Ricardo Wurmus | 2023-01-01 | 1 | -64/+64 |
| | |||||
* | css: Let search field expand vertically when needed. | Ricardo Wurmus | 2023-01-01 | 1 | -1/+0 |
| | |||||
* | js: Don't append a trailing space to query. | Ricardo Wurmus | 2023-01-01 | 1 | -3/+1 |
| | |||||
* | js: Ensure that input element is visible. | Ricardo Wurmus | 2023-01-01 | 1 | -0/+1 |
| | | | | Even when using the browser's back button after submission. | ||||
* | Move lines.js into mumi.js. | Ricardo Wurmus | 2022-12-31 | 2 | -13/+16 |
| | |||||
* | Only act on clicks to the left of the line. | Ricardo Wurmus | 2022-12-31 | 2 | -3/+3 |
| | | | | Ignore clicks on the line itself. | ||||
* | Add JavaScript to recognize and style query tokens. | Ricardo Wurmus | 2022-12-31 | 3 | -18/+1764 |
| | |||||
* | Truncate very long message parts. | Ricardo Wurmus | 2022-12-24 | 1 | -0/+10 |
| | |||||
* | Fix table sort of dates. | Ricardo Wurmus | 2022-12-24 | 1 | -0/+14 |
| | | | | Fixes <https://issues.guix.gnu.org/47739>. | ||||
* | Accept "plain" query for issue URLs to disable processing of lines. | Ricardo Wurmus | 2022-12-24 | 1 | -0/+6 |
| | | | | This is useful for text browsers and for unusually large issues. | ||||
* | css: Remove background blur from headers. | Ricardo Wurmus | 2022-12-24 | 1 | -2/+0 |
| | |||||
* | css: Remove unnecessary subtle transparency. | Ricardo Wurmus | 2022-12-24 | 1 | -5/+5 |
| | |||||
* | 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 | 2 | -5/+18 |
| | | | | | | | | 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. | ||||
* | css: Add theme switcher scss sources.0.0.3 | Ricardo Wurmus | 2022-12-21 | 2 | -1/+72 |
| | |||||
* | css: Remove broken (and invisible) CSS. | Ricardo Wurmus | 2022-12-21 | 1 | -25/+0 |
| | |||||
* | css: Adjust sidebar. | Ricardo Wurmus | 2022-12-21 | 1 | -3/+3 |
| | |||||
* | css: Use more variable colors. | Ricardo Wurmus | 2022-12-21 | 1 | -10/+11 |
| | |||||
* | css: Change dark theme colors for diff add/remove. | Ricardo Wurmus | 2022-12-21 | 1 | -4/+14 |
| | |||||
* | Add dark/light theme switcher. | Ricardo Wurmus | 2022-12-20 | 2 | -0/+102 |
| | |||||
* | css: Adjust position of details/summary indicator. | Ricardo Wurmus | 2022-12-20 | 1 | -0/+15 |
| | |||||
* | css: Make sidebar respond to hover. | Ricardo Wurmus | 2022-12-20 | 1 | -4/+11 |
| | |||||
* | css: Improve dark mode colors. | Ricardo Wurmus | 2022-12-20 | 1 | -8/+11 |
| | |||||
* | css: Adjust table colors. | Ricardo Wurmus | 2022-12-20 | 1 | -3/+11 |
| | |||||
* | css: Resize search box. | Ricardo Wurmus | 2022-12-20 | 1 | -1/+8 |
| | |||||
* | css: Reduce transparency of nav bar. | Ricardo Wurmus | 2022-12-20 | 1 | -2/+2 |
| | |||||
* | html: Fix style of comment box and message headers. | Ricardo Wurmus | 2022-12-20 | 1 | -8/+8 |
| | |||||
* | html: Restore message cards and adjust gaps. | Ricardo Wurmus | 2022-12-20 | 1 | -2/+11 |
| | |||||
* | html: Fix styling of event badges. | Ricardo Wurmus | 2022-12-20 | 1 | -2/+21 |
| | |||||
* | html: Move submitter info and align buttons. | Ricardo Wurmus | 2022-12-20 | 1 | -0/+14 |
| | |||||
* | css: search-hints: Use variable colors. | Ricardo Wurmus | 2022-12-20 | 1 | -2/+2 |
| | |||||
* | css: Reduce overlap of search-hints on input. | Ricardo Wurmus | 2022-12-20 | 1 | -1/+4 |
| | |||||
* | Only change width of inline search form. | Ricardo Wurmus | 2022-12-20 | 1 | -3/+3 |
| | |||||
* | Add SVG logo and adjust nav styles. | Ricardo Wurmus | 2022-12-20 | 1 | -22/+92 |
| | |||||
* | Remove bootstrap.css and build CSS from SCSS sources. | Ricardo Wurmus | 2022-12-20 | 2 | -8981/+525 |
| | |||||
* | Add pico.css. | Ricardo Wurmus | 2022-12-20 | 1 | -0/+0 |
| | |||||
* | view: Wrap contents of diff lines with pre. | Ricardo Wurmus | 2021-12-09 | 1 | -0/+7 |
| | | | | Fixes <https://issues.guix.gnu.org/43166>. | ||||
* | css: Show line anchors only in browsers supporting CSS. | Ricardo Wurmus | 2021-12-09 | 1 | -2/+5 |
| | |||||
* | view: Add line anchors. | Ricardo Wurmus | 2021-12-09 | 1 | -0/+11 |
| | |||||
* | css: Add scroll-padding-top to html tag. | Ricardo Wurmus | 2021-12-09 | 1 | -1/+4 |
| | | | | | This fixes the scroll position of *all* anchors, not just the message-anchor. | ||||
* | Use div instead of span for lines. | Ricardo Wurmus | 2021-12-09 | 1 | -7/+7 |
| | | | | | It's not perfect, but using a block element causes things to be rendered much more nicely in a text-only browser. | ||||
* | css: Draw multipart separator also when following an attachment. | Ricardo Wurmus | 2020-05-16 | 1 | -0/+1 |
| | |||||
* | css: Leave more space in the sidebar. | Ricardo Wurmus | 2020-05-15 | 1 | -0/+5 |
| | |||||
* | css: Remove code.css. | Ricardo Wurmus | 2020-05-15 | 1 | -33/+0 |
| | |||||
* | Allow download of raw message. | Ricardo Wurmus | 2020-05-13 | 1 | -0/+5 |
| | |||||
* | css: Move sidebar up and let it scroll when needed. | Ricardo Wurmus | 2020-05-12 | 1 | -1/+3 |
| |